listedOf

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

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

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

Creates a MutableTheory backed by a list, containing the given clauses

fun listedOf(vararg clause: <ERROR CLASS>.() -> <ERROR CLASS>): MutableTheory

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