Module `Cduce_types__.Builtin_defs`

val pos_int : Cduce_types.Types.t: Positive integers: 1--*.

val non_neg_int : Cduce_types.Types.t: Positive or null integers: 0--*.

val neg_int : Cduce_types.Types.t: Negative integers: *--(-1).

val non_pos_int : Cduce_types.Types.t: Negative or null integers: *--0.

val long_int : Cduce_types.Types.t: Signed 64 bit integers: -9223372036854775808 -- 9223372036854775807.

val int_int : Cduce_types.Types.t: Signed 32 bit integers: -2147483648--2147483647.

val short_int : Cduce_types.Types.t: Signed 16 bit integers: -32768--32767.

val byte_int : Cduce_types.Types.t: Signed 8 bit integers: -128--127.

val caml_int : Cduce_types.Types.t: OCaml integers: min_int--max_int.

val unsigned_byte_int : Cduce_types.Types.t: Unsigned 8 bit integers: 0--255.

val non_zero_int : Cduce_types.Types.t: Non zero integers: Int \ 0.

val pos_intstr : Cduce_types.Types.t: String representing positive integers in base 2, 8, 10, 16. Bases other than 10 are prefixed with "0b" or "0B" (binary), "0o" or "0O" (octal), "0x" or "0X" (hexadecimal).

val neg_intstr : Cduce_types.Types.t: String accepted by pos_intstr prefixed by a mandatory "-".

val intstr : Cduce_types.Types.t: Either positive or negative integer strings.

val true_atom : Cduce_types.AtomSet.V.t: The constant `true as a constant.

val false_atom : Cduce_types.AtomSet.V.t: The constant `false as a constant.

val true_type : Cduce_types.Types.t: The singleton type `true.

val false_type : Cduce_types.Types.t: The singleton type `false.

val any : Cduce_types.Types.t: The top type Any.

val atom : Cduce_types.Types.t: An alias for Types.Atom.any.

val nil : Cduce_types.Types.t: The singleton type `nil (also written []).

val bool : Cduce_types.Types.t: The type `false | `true .

val int : Cduce_types.Types.t: An alias for Types.Int.any.

val char : Cduce_types.Types.t: An alias for Types.Char.any.

val string : Cduce_types.Types.t: An alias for [Char*].

val char_latin1 : Cduce_types.Types.t: An alias for Byte.

val string_latin1 : Cduce_types.Types.t: An alias for [Byte*].

val time_kind : Cduce_types.Types.t: The union of atoms `duration | `dateTime | `time | `date | `gYearMonth | `gYear | `gMonthDay | `gDay | `gMonth.

val mk_ref : get:'a -> set:'a -> 'a Cduce_types.Ident.label_map: mk_ref ~get ~set returns a record with two fields get and set bound to the values of ~get and ~set.

val ref_type : Cduce_types.Types.Node.t -> Cduce_types.Types.t: ref_type n constructs a reference type for the type node n. A reference type is a record { get: [] -> n; set: n -> [] }.

val float_abs : Cduce_types.AbstractSet.elem: OCaml floats, as an abstract type with label "float".

val float : Cduce_types.Types.t: OCaml floats, as a ℂDuce type.

val number : Cduce_types.Types.t: The union type Int | Float.

val any_xml : Cduce_types.Types.t: The recursive type representing any XML document: AnyXml = <_ ..>[ (Char|AnyXml)*].

val any_xml_with_tag : Cduce_types.AtomSet.t -> Cduce_types.Types.t: any_xml_with_tag t returns the type of an XML document with tag t for its root element.

val seq_type : Cduce_types.Types.Node.t -> Cduce_types.Types.t: seq_type n returns the type [n*].