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.0.0.tar.gz
sha256=1ee307b066765da124056ce825683b2dcf58145297f9b717345b6c55e84af2c4

doc/compiler-libs.common/Persistent_env/Consistbl/index.html

Module Persistent_env.Consistbl

val create : unit -> t
val clear : t -> unit
val check : t -> Misc.Stdlib.String.t -> Digest.t -> Misc.filepath -> unit
val check_noadd : t -> Misc.Stdlib.String.t -> Digest.t -> Misc.filepath -> unit
val extract : Misc.Stdlib.String.t list -> t -> (Misc.Stdlib.String.t * Digest.t option) list
val filter : (Misc.Stdlib.String.t -> bool) -> t -> unit
exception Inconsistency of {
  1. unit_name : Misc.Stdlib.String.t;
  2. inconsistent_source : string;
  3. original_source : string;
}
exception Not_available of Misc.Stdlib.String.t