Project

General

Profile

Revision 6aeb3388 src/corelang.mli

View differences:

src/corelang.mli
40 40
val type_table: (type_dec_desc, type_dec_desc) Hashtbl.t
41 41
val get_repr_type: type_dec_desc -> type_dec_desc
42 42
val is_user_type: type_dec_desc -> bool
43
val coretype_equal: type_dec_desc -> type_dec_desc -> bool
43 44
val tag_true: label
44 45
val tag_false: label
45 46
val tag_table: (label, type_dec_desc) Hashtbl.t

Also available in: Unified diff