viewcvs.cgi/types/builtin.ml

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

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;
  ];
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 types =
9	[
10	"Empty", Types.empty;
11	"Any", Types.any;
12	"Int", Types.Int.any;
13	"Char", Types.char Chars.any;
14	"Atom", Types.atom Atoms.any;
15	"Pair", Types.Product.any;
16	"Arrow", Types.Arrow.any;
17	"Record", Types.Record.any;
18	"String", Sequence.string;
19	];