package ocaml-unikraft-arm64

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

Install 

dune-project
 Dependency

github.com Edit opam file Versions (3)

Authors

  1. S
    Samuel Hym

Maintainers

  1. S
    samuel@tarides.com

Sources

v1.2.0.tar.gz
sha256=ca18a45ef86791d5ffa18436945fbec850b6f3dd68a6a62753b4cb1b6999b19a

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

Module Consistbl.Make

Parameters

module Module_name : sig ... end

Signature

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