Type Module. This module defines types and operations for working with SMT types, including unary, binary, relational, ternary, conversion, and n-ary operations. It also provides utilities for type comparison, pretty-printing, and parsing.
type t = | Ty_appApplication type.
*)| Ty_bitv of intBitvector type with a specified bit width.
*)| Ty_boolBoolean type.
*)| Ty_fp of intFloating-point type with a specified bit width.
*)| Ty_intInteger type.
*)| Ty_listList type.
*)| Ty_noneNone type.
*)| Ty_realReal number type.
*)| Ty_strString type.
*)| Ty_unitUnit type.
*)| Ty_regexpRegular expression type.
*)The type t represents smtml types.
val string_of_type : t -> stringstring_of_type t converts the type t to a string representation.
val of_string : string -> (t, [> `Msg of string ]) Smtml_prelude.Result.tof_string s attempts to parse the string s into a type. Returns Ok t if successful, or an error message otherwise.
val size : t -> intsize t returns the size (in bits) of the type t, if applicable.
module Unop : sig ... endmodule Binop : sig ... endmodule Relop : sig ... endmodule Triop : sig ... endmodule Cvtop : sig ... endmodule Naryop : sig ... end