package ocaml-unikraft-arm64

You can search for identifiers within the package.

in-package search v0.2.0

OCaml cross compiler to the freestanding Unikraft arm64 backends

Install

dune-project

Dependency

github.com Edit opam file Versions (3)

Authors

S

Samuel Hym

Maintainers

S

samuel@tarides.com

Sources

v1.0.0.tar.gz

sha256=1ee307b066765da124056ce825683b2dcf58145297f9b717345b6c55e84af2c4

doc/compiler-libs.optcomp/Export_info_for_pack/index.html

Module `Export_info_for_pack`

Transformations on export information that are only used for the building of packs.

val import_for_pack : 
  pack_units:Compilation_unit.Set.t ->
  pack:Compilation_unit.t ->
  Export_info.t ->
  Export_info.t

Transform the information from exported to be suitable to be reexported as the information for a pack named pack containing units pack_units. It mainly changes symbols of units pack_units to refer to pack instead.

val clear_import_state : unit -> unit

Drops the state after importing several units in the same pack.