of

fun of(vararg clause: <ERROR CLASS>): MutableTheory

fun of(clauses: Iterable<<ERROR CLASS>>): MutableTheory

fun of(clauses: Sequence<<ERROR CLASS>>): MutableTheory

Creates a MutableTheory, containing the given clauses

fun of(vararg clauses: <ERROR CLASS>.() -> <ERROR CLASS>): MutableTheory

Let developers easily create a MutableTheory, while avoiding variables names clashing by using a different Scope for each Clause