package ocaml-unikraft-arm64

  1. Overview
  2. Docs
OCaml cross compiler to the freestanding Unikraft arm64 backends

Install

dune-project
 Dependency

Authors

Maintainers

Sources

v1.1.0.tar.gz
sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4

doc/compiler-libs.toplevel/Genprintval/Make/argument-2-_/index.html

Parameter Make._

type valu = O.t
val eval_address : Env.address -> valu
exception Error
val same_value : valu -> valu -> bool