Module Ty.ConstSource

A module for constant symbols the occur in types.

The type of constant symbols the can occur in types

Sourceval hash : t -> int

A hash function for type constants, should be suitable to create hashtables.

Sourceval equal : t -> t -> bool

An equality function on type constants. Should be compatible with the hash function.

Sourceval compare : t -> t -> int

Comparison function on variables.

Sourceval arity : t -> int

Return the arity of the given symbol.

Sourceval mk : string -> int -> t

Create a type constant with the given arity.

Sourceval tag : t -> 'a tag -> 'a -> unit

Tag a variable.

Sourceval get_tag : t -> 'a tag -> 'a list

Return the list of values associated to the tag.

Sourceval get_tag_last : t -> 'a tag -> 'a option

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

Sourceval int : t

The type constant for integers

Sourceval rat : t

The type constant for rationals

Sourceval real : t

The type constant for reals.

Sourceval prop : t

The type constant for propositions

Sourceval unit : t

The unit type.

Sourceval base : t

An arbitrary type constant.

Sourceval array : t

The type constant for arrays

Sourceval bitv : int -> t

Bitvectors of the given length.

Sourceval string : t

The type constant for strings

Sourceval string_reg_lang : t

The type constant for regular languages over strings.