module Sparecode: sig .. end
sig
end
Sparecode analysis.
No function is directly exported: they are registered in !Db.Sparecode.