Module Fda


module Fda: sig .. end

exception Exit_hygiene_failed
val laws : Hygiene.law list
val inspect : bool Slurp.entry -> unit