Module type Sig.With_Inter

type t
val inter : t -> t -> t