Module Fda

module Fda: sig .. end

exception Exit_hygiene_failed

val laws : Hygiene.law list

val inspect : bool Slurp.entry -> unit