Module Ty.SType

Provided simple types module.

type sort = Sort.t
type ty = MakeSType(Sort).ty =
| Base of sort
| Arrow of ty * ty
val sort_equal : Sort.t -> Sort.t -> bool
val sort_list : unit -> Sort.t list
val get_sort : string -> Sort.t
val get_sort_opt : string -> Sort.t option
val sort_register : string -> Sort.t
val sort_to_string : Sort.t -> string
val base_ty_mk : sort -> ty
val arr_ty_mk : ty -> ty -> ty
val ty_equal : ty -> ty -> bool
val ty_order : ty -> int
val is_base : ty -> bool
val ty_to_string : ty -> string