Module Occurrence

module Occurrence: sig .. end

Occurrence plug-in.


module Register: sig .. end

Interface for the occurrence plugin.