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.1.0.tar.gz
sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4

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.