package ocaml-solo5-cross-aarch64

  1. Overview
  2. Docs
OCaml cross-compiler to the freestanding 64-bit ARM Solo5 backend

Install 

dune-project
 Dependency

github.com Edit opam file Versions (10)

Authors

  1. M
    Martin Lucina <martin@lucina.net>

Maintainers

  1. M
    Martin Lucina <martin@lucina.net>

Sources

v1.2.1.tar.gz
sha512=025daaee41582c5a13b9731c7a55d2874134c6df130dd7f1f372e78474f6da6cb939ae4baa90c83f7c8d2fddfa34e585475332bd860f795fb7a065c0feb6b5cb

doc/compiler-libs.common/Mtype/index.html

Module Mtype

val scrape_for_functor_arg : Env.t -> Types.module_type -> Types.module_type
val scrape_for_type_of : remove_aliases:bool -> Env.t -> Types.module_type -> Types.module_type
val freshen : scope:int -> Types.module_type -> Types.module_type
val strengthen : aliasable:bool -> Env.t -> Types.module_type -> Path.t -> Types.module_type
val strengthen_decl : aliasable:bool -> Env.t -> Types.module_declaration -> Path.t -> Types.module_declaration
val nondep_supertype : Env.t -> Ident.t list -> Types.module_type -> Types.module_type
val nondep_sig_item : Env.t -> Ident.t list -> Types.signature_item -> Types.signature_item
val no_code_needed : Env.t -> Types.module_type -> bool
val no_code_needed_sig : Env.t -> Types.signature -> bool
val enrich_modtype : Env.t -> Path.t -> Types.module_type -> Types.module_type
val type_paths : Env.t -> Path.t -> Types.module_type -> Path.t list
val contains_type : Env.t -> Types.module_type -> bool
val lower_nongen : int -> Types.module_type -> unit