package dolmen

An algebraic type constructor. Note that such constructors are used to build terms, and not types, e.g. consider the following: type 'a list = Nil | Cons of 'a * 'a t, then Nil and Cons are the constructors, while list would be a type constant of arity 1 used to name the type.

A hash function for adt constructors, should be suitable to create hashtables.

An equality function on adt constructors. Should be compatible with the hash function.

Comparison function on variables.

Returns the arity of a constructor.

Only constructor for the type unit.

Used in the type-checking of pattern matching. pattern_arity cstr ret ty_args should return the types of the expected arguments args such that apply_cstr cstr ty_args args has type ret.

• raises Wrong_sum_type

  if ret cannot be unified with the type of c

• raises Bad_term_arity

  if the provided type argument list is not of the correct length

Tag a constant.

Return the list of values associated to the tag.

Return the last value associated to the tag (if any).