Up
Next
Module
Occurrence
module
Occurrence:
sig
..
end
Occurrence plug-in.
module
Register
:
sig
..
end
Interface for the occurrence plugin.