Module Equation.EqnSet


module EqnSet: Myset.S  with type elt = eqn

include Set.S
val map : (elt -> elt) -> t -> t
map on sets
val map_filter : (elt -> elt option) -> t -> t
Set of elements y such that f x = Some y for some x in xs. raise Not_found if f x = None for all x in xs
val find : (elt -> bool) -> t -> elt
Provide an element satisfying p. raise Not_found otherwise
val find_opt : (elt -> 'a option) -> t -> 'a option
Provide Some element satisfying p or None
val of_list : elt list -> t
Build a set from a list of elements
val of_list_map : ('a -> elt) -> 'a list -> t
val fprintf : t Useful.fprintf
Print a set into a buffer
val union_map : ('a -> t) -> 'a list -> t
Union of the sets obtained by mapping f on some list