Class type Plugin.t

class type ['a] t = object .. end

Inherits

Plugin.core

method clauses : Reasoner.clause list

Initial clauses to add

method to_fact : 'a -> term

Encode an 'a value to a fact

method of_fact : term -> 'a option

Decode a fact into an 'a value, if it actually belongs to the plugin