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=47876167068345542f49279e8fd28896

sha512=272081ec51a6ed69c08e4e8fa64fee3df53fd84c66c0c07a653891c88b342cf74553e1c95711e4fbc18922c899a3448a649f3bd9858f8d89cae834ad2b67fffb

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