module Hygiene: sig
.. end
exception Exit_hygiene_violations
type
rule =
type
pattern = suffix
type
suffix = string
type
penalty =
type
law = {
|
law_name : string ; |
|
law_rules : rule list ; |
|
law_penalty : penalty ; |
}
val list_collect : ('a -> 'b option) -> 'a list -> 'b list
val list_none_for_all : ('a -> 'b option) -> 'a list -> 'b option
val sf : ('a, unit, string) Pervasives.format -> 'a
module SS: My_std.Set.Make
(
My_std.String
)
val check : ?sanitize:string ->
law list -> bool Slurp.entry -> (law * string list) list