package ocaml-base-compiler

  1. Overview
  2. Docs

The type of caller-defined contextual state associated with subranges. This may be used to track information throughout the range-computing process.

type t
val create : unit -> t
val advance_over_instruction : t -> L.instruction -> t
OCaml

Innovation. Community. Security.