Top Level Namespace

Includes:

Constrain, ForwardTo

Defined Under Namespace

Modules: Find, MikrasUtils, MkAcl, Prick, SimpleSymtab Classes: Access, Analyzer, Oper, Parser, Rule, Spec