package ocamlbuild

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