Module env 

Structs

Atom

AtomId

CommonEnv

Object

ObjectId

Enums

BoolExpr

Slot

Traits

Env

Var

Functions

get_var_by_path

Resolves a nested variable path starting from the given environment.

to_cnf