Functor Symbols.Make


module Make: 
functor (X : SYMBOL_SEED) -> SYMBOL_TYPE with type x = X.t
The functor takes as an argument modules of type SYMBOL_SEED and returns a module of SYMBOL_TYPE.
Parameters:
X : SYMBOL_SEED

include X.X_TYPE
The following list summarizes the function in X.X_TYPE.
val are_unifiable : t -> t -> bool
Two symbols are unifiable iff one of them is universal, they are both empty, or they are compatible x types.
val conform : t -> t -> t
If s1 and s2 are symbols of type x then conform s1 s2 returns the value of conform for the elements as defined by the module of type SYMBOL_SEED. Otherwise it returns s2.
type x 
The type of X.
val of_x : x -> t
Returns a symbol given x.
val to_x : t -> x
Returns an element of type x given a symbol. Raises a failure if the symbol is the the empty symbol <E> or the universal symbol <U>.
val blank : t
The empty symbol.
val wild : t
The universal symbol.