package logtk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t

Unification stack, for backtracking purposes

val create : unit -> t
type snapshot

A snapshot of bindings at a given moment

val snapshot : st:t -> snapshot

Save current state

val restore : st:t -> snapshot -> unit

Restore all references to their state at snapshot. Bindings done since are undone.