type 'a t
= 'a constr list
constraint 'a = [< op ]
val pp : [< op ] t CCFormat.printer
module Infix : sig ... end
val (&&) : [< op ] as a t ‑> 'a t ‑> 'a t
val eval : L.subst ‑> [< op ] t ‑> bool