Module type Symbols.SYMBOL_SEED


module type SYMBOL_SEED = sig .. end
The input signature to Symbols.Make.

include X.X_TYPE
val are_compatible : t -> t -> bool
Returns whether or not two elements are compatible.
val conform : t -> t -> t
Returns an element given two elements. This has the same type signature as X.pair but the idea here is that if you are forced to combine the elements somehow, you will use conform and not pair.