sig
  type sort
  val equal : Z3.Sort.sort -> Z3.Sort.sort -> bool
  val get_id : Z3.Sort.sort -> int
  val get_sort_kind : Z3.Sort.sort -> Z3enums.sort_kind
  val get_name : Z3.Sort.sort -> Z3.Symbol.symbol
  val to_string : Z3.Sort.sort -> string
  val mk_uninterpreted : Z3.context -> Z3.Symbol.symbol -> Z3.Sort.sort
  val mk_uninterpreted_s : Z3.context -> string -> Z3.Sort.sort
end