Executable.Predicatetype t = [ | `has_field of [ `instrumentation | `lint | `name | `preprocess | `public_name ]| `instrumentation of
[ `backend of Dunolint__Dune0.Instrumentation.Backend.t
| `present of Dunolint__Dune0.Instrumentation.Backend.Name.t Nonempty_list.t
| `absent of Dunolint__Dune0.Instrumentation.Backend.Name.t Nonempty_list.t ]
Blang.t| `libraries of
[ `present of Dunolint__Dune0.Library__name.t Nonempty_list.t
| `absent of Dunolint__Dune0.Library__name.t Nonempty_list.t
| Dunolint__Dune0.Libraries.Predicate.deprecated_names ]
Blang.t| `lint of
[ `pps of
[ `present of Pp.Name.t Nonempty_list.t
| `absent of Pp.Name.t Nonempty_list.t
| `pp of Pp.Name.t
| `flag of Dunolint__Dune0.Pps.Predicate.Flag.t
| `pp_with_flag of Dunolint__Dune0.Pps.Predicate.Pp_with_flag.t ]
Blang.t ]
Blang.t| `name of Name.Predicate.t Blang.t| `preprocess of
[ `no_preprocessing
| `pps of
[ `present of Pp.Name.t Nonempty_list.t
| `absent of Pp.Name.t Nonempty_list.t
| `pp of Pp.Name.t
| `flag of Dunolint__Dune0.Pps.Predicate.Flag.t
| `pp_with_flag of Dunolint__Dune0.Pps.Predicate.Pp_with_flag.t ]
Blang.t ]
Blang.t| `public_name of Public_name.Predicate.t Blang.t ]