package ocaml-unikraft-arm64
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.common/Persistent_env/Consistbl/index.html
Module Persistent_env.Consistbl
type t = Consistbl.Make(Misc.Stdlib.String).tval create : unit -> tval clear : t -> unitval check : t -> Misc.Stdlib.String.t -> Digest.t -> Misc.filepath -> unitval check_noadd :
t ->
Misc.Stdlib.String.t ->
Digest.t ->
Misc.filepath ->
unitval source : t -> Misc.Stdlib.String.t -> Misc.filepathval extract :
Misc.Stdlib.String.t list ->
t ->
(Misc.Stdlib.String.t * Digest.t option) listval extract_map :
Misc.Stdlib.String.Set.t ->
t ->
Digest.t option Misc.Stdlib.String.Map.tval filter : (Misc.Stdlib.String.t -> bool) -> t -> unitexception Inconsistency of {unit_name : Misc.Stdlib.String.t;inconsistent_source : string;original_source : string;
}exception Not_available of Misc.Stdlib.String.t