val abstract_type :
Lident.qualident ->
int list ->
Global.type_desc Global.infoval abbrev_type :
Lident.qualident ->
int list ->
(Deftypes.typ list * Deftypes.typ) ->
Global.type_desc Global.infoval value :
Lident.qualident ->
Deftypes.typ_scheme ->
Global.value_desc Global.infoval stdlib_name : string -> Lident.qualidentval int_ident : Lident.qualidentval int32_ident : Lident.qualidentval int64_ident : Lident.qualidentval bool_ident : Lident.qualidentval zero_ident : Lident.qualidentval float_ident : Lident.qualidentval char_ident : Lident.qualidentval string_ident : Lident.qualidentval sig_ident : Lident.qualidentval unit_ident : Lident.qualidentval list_ident : Lident.qualidentval type_desc_int : Global.type_desc Global.infoval type_desc_int32 : Global.type_desc Global.infoval type_desc_int64 : Global.type_desc Global.infoval type_desc_zero : Global.type_desc Global.infoval type_desc_bool : Global.type_desc Global.infoval type_desc_float : Global.type_desc Global.infoval type_desc_char : Global.type_desc Global.infoval type_desc_string : Global.type_desc Global.infoval type_desc_unit : Global.type_desc Global.infoval type_desc_signal : Global.type_desc Global.infoval type_desc_list : Global.type_desc Global.infoval constr :
Lident.qualident ->
Deftypes.typ list ->
Deftypes.typ_desc Deftypes.locval array_ident : Lident.qualidentval type_desc_array : Global.type_desc Global.infoval empty_array_ident : Lident.qualidentval typ_int : Deftypes.typ_desc Deftypes.locval typ_int32 : Deftypes.typ_desc Deftypes.locval typ_int64 : Deftypes.typ_desc Deftypes.locval typ_bool : Deftypes.typ_desc Deftypes.locval typ_zero : Deftypes.typ_desc Deftypes.locval typ_char : Deftypes.typ_desc Deftypes.locval typ_string : Deftypes.typ_desc Deftypes.locval typ_float : Deftypes.typ_desc Deftypes.locval typ_unit : Deftypes.typ_desc Deftypes.locval typ_signal : Deftypes.typ -> Deftypes.typ_desc Deftypes.locval typ_array : Deftypes.typ -> Deftypes.typ_desc Deftypes.locval typ_list : Deftypes.typ -> Deftypes.typ_desc Deftypes.locval tglobal : Global.type_desc Global.info listval nil_ident : Lident.qualidentval cons_ident : Lident.qualidentval value_desc_nil : Global.value_desc Global.infoval value_desc_cons : Global.value_desc Global.infoval vglobal : Global.value_desc Global.info list