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