On This Page
package dolmen_type
Parameters
module Type : Tff_intf.Smodule Ty : Dolmen.Intf.Ty.Smtlib_String with type t := Type.Ty.tmodule T : Dolmen.Intf.Term.Smtlib_String with type t := Type.T.tSignature
type Type.err += | Invalid_hexadecimal : string -> Dolmen.Std.Term.t Type.err| Invalid_string_char : char -> Dolmen.Std.Term.t Type.err| Invalid_escape_sequence : string * int -> Dolmen.Std.Term.t Type.err
val parse : Dolmen.Smtlib2.version -> Type.builtin_symbolsOn This Page