AddStaticClauses

data class AddStaticClauses: SideEffect

Fields

Name Description
val clauses: Iterable<Clause>
val onTop: Boolean

Constructors

<init>

constructor(vararg clauses: Clause, onTop: Boolean)

Parameters

Name Description
vararg clauses: Clause
onTop: Boolean

<init>

constructor(clauses: Sequence<Clause>, onTop: Boolean)

Parameters

Name Description
clauses: Sequence<Clause>
onTop: Boolean

<init>

constructor(clauses: Iterable<Clause>, onTop: Boolean)

Parameters

Name Description
clauses: Iterable<Clause>
onTop: Boolean