package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module TypedSTerm.UStackSource

Sourcetype t

Unification stack, for backtracking purposes

Sourceval create : unit -> t
Sourcetype snapshot

A snapshot of bindings at a given moment

Sourceval snapshot : st:t -> snapshot

Save current state

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

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