package colibri2

  1. Overview
  2. Docs
type t

a type to make context aware

type saved

The data to save at backtrack point

val save : t -> saved

Get the data to save from the original type

val restore : saved -> t -> unit

Restore the saved data after a pop (delayed at the next refresh)

OCaml

Innovation. Community. Security.