Module type Ltree.BaseTypes

module type BaseTypes = sig .. end
Input signature for functor

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 : Format.formatter -> symbol -> unit
Pretty-print a symbol
val pp_print_var : Format.formatter -> var -> unit
Pretty-print a variable
val pp_print_sort : Format.formatter -> sort -> unit
Pretty-print a sort
val pp_print_attr : Format.formatter -> attr -> unit
Pretty-print an attribute