Package-level declarations

The term of the module ArgumentModule as Kotlin reads and builds it (see ArgumentModule)

The term of the module AttackModule as Kotlin reads and builds it (see AttackModule)

The term of the module LabelModule as Kotlin reads and builds it (see LabelModule)

The term of the module RuleModule as Kotlin reads and builds it (see RuleModule)

The term of the module StatementTermModule as Kotlin reads and builds it (see StatementTermModule)

The term of the module SupportModule as Kotlin reads and builds it (see SupportModule)

The terms of tuProlog as the values of arg2p (Value) and as text, written with the operators of arg2p: the passage between the API of arg2p and tuProlog