Companion

object Companion
Content copied to clipboard

Functions

of
Link copied to clipboard
common
@JvmStatic()
fun of(context: ExecutionContext, procedure: Signature, operation: PermissionError.Operation, permission: PermissionError.Permission, culprit: Term): PermissionError
Content copied to clipboard

Properties

typeFunctor
Link copied to clipboard
common
const val typeFunctor: String
Content copied to clipboard
The permission error Struct functor