Melange_compiler_libs.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