Module Occurrence

module Occurrence: sig .. end
Occurrence plug-in.


No function is directly exported: they are registered in Db.Occurrence.