Comprehension.Iterator
type t
val range : Var.Value.t -> Exp.t -> Exp.t -> bool -> t
val in_ : Loc.t -> Var.Value.t list -> Pat.t -> Exp.t -> t