LibraryPresentation

data class LibraryPresentation(val alias: String, val predicates: List<String> = emptyList(), val operators: List<OperatorPresentation> = emptyList(), val functions: List<String> = emptyList(), val help: String = "", val documentation: Map<String, String> = emptyMap())

One loaded library's contents, already formatted as display-ready text/signatures, for the libraries inspector panel.

Constructors

constructor(alias: String, predicates: List<String> = emptyList(), operators: List<OperatorPresentation> = emptyList(), functions: List<String> = emptyList(), help: String = "", documentation: Map<String, String> = emptyMap())