Functor Relation.Make

module Make: 
functor (E : Tools.Base) -> sig .. end

type elt = E.t 

type t 

val empty : t

val id : elt list -> t

val equal : t -> t -> bool

val compare : t -> t -> int

val succ : elt -> t -> elt list

val restr : elt list -> t -> t

val inser : elt * elt -> t -> t

val mem : elt * elt -> t -> bool

val map : (elt * elt ->
        elt * elt) ->
       t -> t

val fold : (elt * elt -> 'a -> 'a) ->
       t -> 'a -> 'a

val to_list : t -> (elt * elt) list

val concatenation : t -> t -> t

val union : t -> t -> t

val refl : elt list -> t -> t

val etoile : elt list -> t -> t