AliasedLibrary

Represents a Library that can have an alias

Types

open operator fun contains(operator: <ERROR CLASS>): Boolean

Checks whether this library contains the definition of provided operator

open operator fun contains(signature: Signature): Boolean

Checks whether this library contains the provided signature.

Checks whether this library has a Primitive with provided signature

Checks whether the provided signature, is protected in this library

abstract val alias: String

The library alias

The library prolog functions, identified by their signature

abstract val operators: <ERROR CLASS>

Library defined operators

The library primitives, identified by their signatures

abstract val theory: <ERROR CLASS>

The library theory clauses