Translattribute (melange.Melange_compiler

let check_attribute: Typedtree.expression => Parsetree.attribute => unit;

let check_attribute_on_module: 
  Typedtree.module_expr =>
  Parsetree.attribute =>
  unit;

let add_inline_attribute: 
  Lambda.lambda =>
  Location.t =>
  Parsetree.attributes =>
  Lambda.lambda;

let get_inline_attribute: Parsetree.attributes => Lambda.inline_attribute;

let add_specialise_attribute: 
  Lambda.lambda =>
  Location.t =>
  Parsetree.attributes =>
  Lambda.lambda;

let get_specialise_attribute: 
  Parsetree.attributes =>
  Lambda.specialise_attribute;

let add_local_attribute: 
  Lambda.lambda =>
  Location.t =>
  Parsetree.attributes =>
  Lambda.lambda;

let get_local_attribute: Parsetree.attributes => Lambda.local_attribute;

let get_and_remove_inlined_attribute: 
  Typedtree.expression =>
  (Lambda.inline_attribute, Typedtree.expression);

let get_and_remove_inlined_attribute_on_module: 
  Typedtree.module_expr =>
  (Lambda.inline_attribute, Typedtree.module_expr);

let get_and_remove_specialised_attribute: 
  Typedtree.expression =>
  (Lambda.specialise_attribute, Typedtree.expression);

let get_tailcall_attribute: 
  Typedtree.expression =>
  (Lambda.tailcall_attribute, Typedtree.expression);

let add_function_attributes: 
  Lambda.lambda =>
  Location.t =>
  Parsetree.attributes =>
  Lambda.lambda;