module NodeSetLattice: sig .. end
sig
end
include struct ... end
val default : 'a -> 'b -> 'c -> t
'a -> 'b -> 'c -> t
val defaultall : 'a -> t
'a -> t