Method: Unific::Env#initialize

Defined in:

lib/unific.rb

#initialize(prev = {}) ⇒ Env

Allocate a new environment. Usually not needed – use Unific::unify, instead.

The new environment will be empty unless a hash of variable bindings is included. Use this with care.

# File 'lib/unific.rb', line 15

def initialize prev = {}
  @theta = prev.clone
end