Typedecl_immediacyexception Error of Location.t * errorval compute_decl : Env.t -> Types.type_declaration -> Type_immediacy.tval property : (Type_immediacy.t, unit) Typedecl_properties.propertyval update_decls :
Env.t ->
(Ident.t * Typedecl_properties.decl) list ->
(Ident.t * Typedecl_properties.decl) list