Set.Make
Derives a set monoind from the set S.
S
module S : Core_kernel.Set.S
include Base with type t := S.t
val zero : S.t
zero an element that is neutral to plus
zero
plus
val plus : S.t -> S.t -> S.t
plus x y an associative operation.
plus x y
val concat : S.t list -> S.t
concat xs reduces xs to using plus
concat xs
xs
val (@@) : S.t -> S.t -> S.t
x @@ y is plus x y
x @@ y