DefaultBuiltins

object DefaultBuiltins: AliasedLibrary, Any

Fields

Name Description
val theory: Theory

The library theory clauses

val primitives: Map<Signature, Primitive>

The library primitives, identified by their signatures

Extensions

getAllOperators

fun Library.getAllOperators(): Sequence<Operator>

Receiver

Name Description
Library

ReturnValue

Name Description
Sequence<Operator>

plus

operator fun <L : AliasedLibrary> L.plus(library: L): LibraryGroup<AliasedLibrary>

Creates a library group from this library aliased and the "added" one

Receiver

Name Description
L

Parameters

Name Description
library: L

ReturnValue

Name Description
LibraryGroup<AliasedLibrary>