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