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=1ee307b066765da124056ce825683b2dcf58145297f9b717345b6c55e84af2c4

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