package ocaml-unikraft-arm64

You can search for identifiers within the package.

in-package search v0.2.0

OCaml cross compiler to the freestanding Unikraft arm64 backends

Install

dune-project

Dependency

sha256=ca18a45ef86791d5ffa18436945fbec850b6f3dd68a6a62753b4cb1b6999b19a

type environment

val env_add : 
  ?mut:Asttypes.mutable_flag ->
  Backend_var.With_provenance.t ->
  Reg.t array ->
  environment ->
  environment

val env_find : Backend_var.t -> environment -> Reg.t array

val size_expr : environment -> Cmm.expression -> int

module Effect : sig ... end

module Coeffect : sig ... end

module Effect_and_coeffect : sig ... end

class virtual selector_generic : object ... end

val reset : unit -> unit