module type Set = sig .. end
sig
end
A standard OCaml set signature extended with datatype operations.
include FCSet.S
include Datatype.S