Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package bap-knowledge
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Online Knowledge documentation.
Provides information about declared knowledge entities, such as classes, properties, and agents.
module type Element = sig ... endA documentation element.
module Rule : sig ... endval agents : unit -> Agent.t listagents () is the list of currently registered agents.
val classes : unit -> (Class.t * Property.t list) listclasses () public classes and their properties.
Only classes and properties that are declared public are included in the list.
val rules : unit -> Rule.t list