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
|