Translattribute (melange.Melange_compiler

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