Translattribute
val check_attribute : Typedtree.expression -> Parsetree.attribute -> unit
val check_attribute_on_module : Typedtree.module_expr -> Parsetree.attribute -> unit
val add_inline_attribute : Lambda.lambda -> Location.t -> Parsetree.attributes -> Lambda.lambda
val get_inline_attribute : Parsetree.attributes -> Lambda.inline_attribute
val add_specialise_attribute : Lambda.lambda -> Location.t -> Parsetree.attributes -> Lambda.lambda
val get_specialise_attribute : Parsetree.attributes -> Lambda.specialise_attribute
val add_local_attribute : Lambda.lambda -> Location.t -> Parsetree.attributes -> Lambda.lambda
val get_local_attribute : Parsetree.attributes -> Lambda.local_attribute
val get_and_remove_inlined_attribute : Typedtree.expression -> Lambda.inline_attribute * Typedtree.expression
val get_and_remove_inlined_attribute_on_module : Typedtree.module_expr -> Lambda.inline_attribute * Typedtree.module_expr
val get_and_remove_specialised_attribute : Typedtree.expression -> Lambda.specialise_attribute * Typedtree.expression
val get_tailcall_attribute : Typedtree.expression -> Lambda.tailcall_attribute * Typedtree.expression
val add_function_attributes : Lambda.lambda -> Location.t -> Parsetree.attributes -> Lambda.lambda