package ocaml-solo5

You can search for identifiers within the package.

in-package search v0.2.0

OCaml cross-compiler to the freestanding Solo5 backend

Install

dune-project

Dependency

md5=186c4e0b2e2602b8a5cefbc731bcc6ba

sha512=b64b9f6b7371468b415c30eb7d13a06ae9c81eaf77f73494635919fc0134d9c3bb0aa177b78ab35d23bfa7fc045602a15f163e446c8fa67afe6e85f0ccbe0031

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