Index of class methods


C
clauses [Plugin.t]
Initial clauses to add

D
decode [Encoding.t]

E
encode [Encoding.t]

O
of_fact [Plugin.t]
Decode a fact into an 'a value, if it actually belongs to the plugin
owns [Plugin.core]
Does this term belong to the plugin?

S
signature [Plugin.core]
Signature of symbols used

T
to_fact [Plugin.t]
Encode an 'a value to a fact