Sort (docs.findlib-94.z3.Z3.Sort)

type sort

val equal : sort -> sort -> bool

val get_id : sort -> int

val get_sort_kind : sort -> Z3enums.sort_kind

val get_name : sort -> Symbol.symbol

val to_string : sort -> string

val mk_uninterpreted : context -> Symbol.symbol -> sort

val mk_uninterpreted_s : context -> string -> sort

val mk_type_variable : context -> Symbol.symbol -> sort

val mk_type_variable_s : context -> string -> sort