Ex4pm.Qualification.Powl.ReferenceOracle (ex4pm v26.9.9)

Copy Markdown View Source

Independent declarative bounded-language interpreter for POWL 2.0 syntax.

This module deliberately does not call Ex4pmEngine.POWL.Language, Ex4pmEngine.POWL.Shuffle, or the qualification bounded compiler. It shares only immutable syntax structs with the implementation under test.

Summary

Functions

language(model, bound)