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
|