package ocaml-solo5-cross-aarch64

You can search for identifiers within the package.

in-package search v0.2.0

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

Install

dune-project

Dependency

sha512=3785d4111ac06c1c701c02d11d522388249493786d0c351a50329bf481cae8df844615d8ca42626e98e72f4375d15622298339d3012e927a35c741ea3aec28f4

val clambda : Format.formatter -> Clambda.ulambda -> unit

val approx : Format.formatter -> Clambda.value_approximation -> unit

val structured_constant : 
  Format.formatter ->
  Clambda.ustructured_constant ->
  unit

val phantom_defining_expr_opt : 
  Format.formatter ->
  Clambda.uphantom_defining_expr option ->
  unit