Typedecl_immediacy (ocaml.Typedecl

type error =

| Bad_immediacy_attribute of Type_immediacy.Violation.t

exception Error of Location.t * error

val compute_decl : Env.t -> Types.type_declaration -> Type_immediacy.t

val property : (Type_immediacy.t, unit) Typedecl_properties.property

val update_decls : Env.t -> (Ident.t * Typedecl_properties.decl) list -> (Ident.t * Typedecl_properties.decl) list