builtin_defs.mli 1.17 KB
Newer Older
1 2 3 4 5 6 7 8 9 10
(** Some CDuce predefined types *)

val pos_int : Types.t         (** 1 .. Inf *)
val non_neg_int : Types.t     (** 0 .. Inf *)
val neg_int : Types.t         (** -Inf .. -1 *)
val non_pos_int : Types.t     (** -Inf .. 0 *)
val long_int : Types.t        (** -9223372036854775808 .. 9223372036854775807 *)
val int_int : Types.t         (** -2147483648 .. 2147483647 *)
val short_int : Types.t       (** -32768 .. 32767 *)
val byte_int : Types.t        (** -128 .. 127 *)
11
val caml_int : Types.t        (** min_int .. max_int *)
12
val byte_int : Types.t        (** 0 .. 255 *)
13 14
val non_zero_int : Types.t

15 16 17
val intstr : Types.t
val pos_intstr : Types.t
val neg_intstr : Types.t
18

19 20
val true_atom : Atoms.V.t
val false_atom : Atoms.V.t
21

22 23
val true_type : Types.t
val false_type : Types.t
24

25 26 27
val any : Types.t
val atom : Types.t
val nil : Types.t
28

29 30
val bool : Types.t
val int : Types.t
31
val char: Types.t
32
val string : Types.t
33

34 35
val char_latin1 : Types.t
val string_latin1 : Types.t
36

37 38
val time_kind: Types.t

39
val mk_ref: get:'a -> set:'a -> 'a Ident.label_map
40
val ref_type: Types.Node.t -> Types.t
41 42

val float: Types.t
43
val float_abs: Types.Abstracts.T.t
44 45

val any_xml : Types.t
46

47
val any_xml_with_tag: Atoms.t -> Types.t