Module Executable.LinterSource

Sourcetype predicate = Dunolint_base.Dunolint.Std.Dune.Predicate.t
Sourcetype t = t
Sourceval eval : t -> predicate:predicate -> Dunolint.Trilang.t
Sourceval enforce : t -> condition:predicate Dunolint.Std.Blang.t -> Base.unit