Parameter `Make.1-T`

type symbol: Symbol

type var: Variable

type sort: Sort

type attr: Attribute

val hash_of_symbol : symbol -> int: Hash value of a symbol

val hash_of_var : var -> int: Hash value of a variable

val hash_of_sort : sort -> int: Hash value of a sort

val hash_of_attr : attr -> int: Hash value of an attribute

val sort_of_var : var -> sort: Return the sort of a variable

val mk_fresh_var : sort -> var
val import_symbol : symbol -> symbol
val import_var : var -> var
val import_sort : sort -> sort
val pp_print_symbol : Stdlib.Format.formatter -> symbol -> unit: Pretty-print a symbol

val pp_print_var : Stdlib.Format.formatter -> var -> unit: Pretty-print a variable

val pp_print_sort : Stdlib.Format.formatter -> sort -> unit: Pretty-print a sort

val pp_print_attr : Stdlib.Format.formatter -> attr -> unit: Pretty-print an attribute