package ocaml-unikraft-arm64

  1. Overview
  2. Docs
OCaml cross compiler to the freestanding Unikraft arm64 backends

Install

dune-project
 Dependency

Authors

Maintainers

Sources

v1.2.0.tar.gz
sha256=ca18a45ef86791d5ffa18436945fbec850b6f3dd68a6a62753b4cb1b6999b19a

doc/compiler-libs.common/Translattribute/index.html

Module Translattribute

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_inlined_attribute : Typedtree.expression -> Lambda.inline_attribute
val get_inlined_attribute_on_module : Typedtree.module_expr -> Lambda.inline_attribute
val get_specialised_attribute : Typedtree.expression -> Lambda.specialise_attribute
val get_tailcall_attribute : Typedtree.expression -> Lambda.tailcall_attribute
val add_function_attributes : Lambda.lambda -> Location.t -> Parsetree.attributes -> Lambda.lambda