package ocaml-solo5-cross-aarch64

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

OCaml cross-compiler to the freestanding 64-bit ARM Solo5 backend

Install

dune-project

Dependency

github.com Edit opam file Versions (10)

Authors

M

Martin Lucina <martin@lucina.net>

Maintainers

M

Martin Lucina <martin@lucina.net>

Sources

v1.1.0.tar.gz

md5=00e5f51d0ce72f7517f3b2a7f910c572

sha512=91f349384a8864076c3d1b0ce3f4e94aa54900cf51e2471d21427bb25cbffac606bcd754fa545f4b2c4516ea2b0731cb580ab30bdf1911c9e47ee24d7c88c863

doc/compiler-libs.toplevel/Genprintval/Make/index.html

Module `Genprintval.Make`

Parameters

module O : OBJ

module _ : EVALPATH with type valu = O.t

Signature

type t = O.t

val install_printer : 
  Path.t ->
  Types.type_expr ->
  (Format.formatter -> t -> unit) ->
  unit

val install_generic_printer : 
  Path.t ->
  Path.t ->
  (int ->
    (int -> t -> Outcometree.out_value, t -> Outcometree.out_value) gen_printer) ->
  unit

val install_generic_printer' : 
  Path.t ->
  Path.t ->
  (Format.formatter -> t -> unit, Format.formatter -> t -> unit) gen_printer ->
  unit

install_generic_printer' function_path constructor_path printer function_path is used to remove the printer.

val remove_printer : Path.t -> unit

val outval_of_untyped_exception : t -> Outcometree.out_value

val outval_of_value : 
  int ->
  int ->
  (int -> t -> Types.type_expr -> Outcometree.out_value option) ->
  Env.t ->
  t ->
  Types.type_expr ->
  Outcometree.out_value