Module Occurrence

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


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