module type SYMBOL_SEED =The input signature tosig
..end
Symbols.Make
.include X.X_TYPE
val are_compatible : t -> t -> bool
val conform : t -> t -> t
X.pair
but the idea here is that if you are forced to
combine the elements somehow, you will use conform
and not pair
.