Eta
Docs
std.freeze
← Stdlib Reference · Language Guide · Detailed reference
Attributed-variable combinators that delay or constrain logic variables.
(import std.freeze)
| Symbol | Description |
|---|---|
(freeze var goal) | Suspend goal until var is bound. |
(dif a b) | Structural disequality constraint: a must never unify with b. |
Source: stdlib/std/freeze.eta