| 1 |
(** Some CDuce predefined types *)
|
| 2 |
|
| 3 |
val pos_int : Types.t (** 1 .. Inf *)
|
| 4 |
val non_neg_int : Types.t (** 0 .. Inf *)
|
| 5 |
val neg_int : Types.t (** -Inf .. -1 *)
|
| 6 |
val non_pos_int : Types.t (** -Inf .. 0 *)
|
| 7 |
val long_int : Types.t (** -9223372036854775808 .. 9223372036854775807 *)
|
| 8 |
val int_int : Types.t (** -2147483648 .. 2147483647 *)
|
| 9 |
val short_int : Types.t (** -32768 .. 32767 *)
|
| 10 |
val byte_int : Types.t (** -128 .. 127 *)
|
| 11 |
|
| 12 |
val intstr : Types.t
|
| 13 |
val pos_intstr : Types.t
|
| 14 |
val neg_intstr : Types.t
|
| 15 |
|
| 16 |
val true_atom : Atoms.V.t
|
| 17 |
val false_atom : Atoms.V.t
|
| 18 |
|
| 19 |
val true_type : Types.t
|
| 20 |
val false_type : Types.t
|
| 21 |
|
| 22 |
val any : Types.t
|
| 23 |
val atom : Types.t
|
| 24 |
val nil : Types.t
|
| 25 |
|
| 26 |
val bool : Types.t
|
| 27 |
val int : Types.t
|
| 28 |
val char: Types.t
|
| 29 |
val string : Types.t
|
| 30 |
|
| 31 |
val char_latin1 : Types.t
|
| 32 |
val string_latin1 : Types.t
|
| 33 |
|
| 34 |
val time_kind: Types.t
|
| 35 |
|
| 36 |
val mk_ref: get:'a -> set:'a -> 'a Ident.label_map
|
| 37 |
val ref_type: Types.Node.t -> Types.t
|
| 38 |
|
| 39 |
val float: Types.t
|
| 40 |
val float_abs: Types.Abstract.abs
|
Parent Directory
| 
Revision Log