package ocaml-unikraft-arm64

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

Install 

dune-project
 Dependency

github.com Edit opam file Versions (3)

Authors

  1. S
    Samuel Hym

Maintainers

  1. S
    samuel@tarides.com

Sources

v1.0.0.tar.gz
sha256=1ee307b066765da124056ce825683b2dcf58145297f9b717345b6c55e84af2c4

doc/compiler-libs.common/Diffing_with_keys/Define/index.html

Module Diffing_with_keys.Define

Parameters

module D : Diffing.Defs with type eq := unit

Signature

type diff = (D.left, D.right, D.diff) mismatch
type left = D.left with_pos
type right = D.right with_pos
type composite_change = (D.left, D.right, D.diff) change

Composite changes and patches

type patch = composite_change list
type change = (left, right, unit, diff) Diffing.change

Atomic changes

module type Parameters = sig ... end
module Simple (_ : Parameters) : sig ... end