Module Linter.PredicateSource

Sourcetype 'a t =
  1. | T of 'a
  2. | Not of 'a