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

sha256=ca18a45ef86791d5ffa18436945fbec850b6f3dd68a6a62753b4cb1b6999b19a

Module dependencies.

Warning: this module is unstable and part of compiler-libs.

module String = Misc.Stdlib.String

type map_tree =

and bound_map = map_tree String.Map.t

val make_leaf : string -> map_tree

val make_node : bound_map -> map_tree

val weaken_map : String.Set.t -> map_tree -> map_tree

val free_structure_names : String.Set.t ref

Collect free module identifiers in the a.s.t.

val pp_deps : string list ref

Dependencies found by preprocessing tools.

val open_module : bound_map -> Longident.t -> bound_map

val add_use_file : bound_map -> Parsetree.toplevel_phrase list -> unit

val add_signature : bound_map -> Parsetree.signature -> unit

val add_implementation : bound_map -> Parsetree.structure -> unit

val add_implementation_binding : bound_map -> Parsetree.structure -> bound_map

val add_signature_binding : bound_map -> Parsetree.signature -> bound_map