viewcvs.cgi/types/builtin.ml

let intstr =
  Sequence.plus (Types.char (Chars.char_class
                               (Chars.mk_char '0')
                               (Chars.mk_char '9')
                            )
                )

let true_atom = Atoms.mk "true"
let false_atom = Atoms.mk "false"
let true_type = Types.atom (Atoms.atom true_atom)
let false_type = Types.atom (Atoms.atom false_atom)

let bool = Types.cup true_type false_type

let types =
  [ 
    "Empty",   Types.empty;
    "Any",     Types.any;
    "Int",     Types.Int.any;
    "Char",    Types.char Chars.any;
    "Atom",    Types.atom Atoms.any;
    "Pair",    Types.Product.any;
    "Arrow",   Types.Arrow.any;
    "Record",  Types.Record.any;
    "String",  Sequence.string;
    "Bool",    bool
  ];
1	let intstr =
2	Sequence.plus (Types.char (Chars.char_class
3	(Chars.mk_char '0')
4	(Chars.mk_char '9')
5	)
6	)
7
8	let true_atom = Atoms.mk "true"
9	let false_atom = Atoms.mk "false"
10	let true_type = Types.atom (Atoms.atom true_atom)
11	let false_type = Types.atom (Atoms.atom false_atom)
12
13	let bool = Types.cup true_type false_type
14
15	let types =
16	[
17	"Empty", Types.empty;
18	"Any", Types.any;
19	"Int", Types.Int.any;
20	"Char", Types.char Chars.any;
21	"Atom", Types.atom Atoms.any;
22	"Pair", Types.Product.any;
23	"Arrow", Types.Arrow.any;
24	"Record", Types.Record.any;
25	"String", Sequence.string;
26	"Bool", bool
27	];