Revision 6aeb3388 src/corelang.mli
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