sig
  type symbol
  type var
  type sort
  type attr
  val hash_of_symbol : Ltree.BaseTypes.symbol -> int
  val hash_of_var : Ltree.BaseTypes.var -> int
  val hash_of_sort : Ltree.BaseTypes.sort -> int
  val hash_of_attr : Ltree.BaseTypes.attr -> int
  val sort_of_var : Ltree.BaseTypes.var -> Ltree.BaseTypes.sort
  val mk_fresh_var : Ltree.BaseTypes.sort -> Ltree.BaseTypes.var
  val import_symbol : Ltree.BaseTypes.symbol -> Ltree.BaseTypes.symbol
  val import_var : Ltree.BaseTypes.var -> Ltree.BaseTypes.var
  val import_sort : Ltree.BaseTypes.sort -> Ltree.BaseTypes.sort
  val pp_print_symbol : Format.formatter -> Ltree.BaseTypes.symbol -> unit
  val pp_print_var : Format.formatter -> Ltree.BaseTypes.var -> unit
  val pp_print_sort : Format.formatter -> Ltree.BaseTypes.sort -> unit
  val pp_print_attr : Format.formatter -> Ltree.BaseTypes.attr -> unit
end