Module Ocamlbuild_pack.Hygiene

type rule =
| Implies_not of pattern * pattern
| Not of pattern
and pattern = suffix
and suffix = string
type penalty =
| Warn
| Fail
type law = {
law_name : string;
law_rules : rule list;
law_penalty : penalty;
}
val check : ?sanitize:string -> law list -> bool Slurp.entry -> (law * string list) list