CamlinternalQuote.Comprehension
module Iterator : sig ... end
type t
val body : Exp.t -> t
val when_ : Exp.t -> t -> t
val for_ : Loc.t -> Name.t list -> (Var.Value.t list -> Iterator.t list * t) lam -> t