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=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4

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