Comprehension.Block
type ('M, 'T) t = 'M * ('M, 'T) t'
and ('M, 'T) t' = {
left : ('M, 'T) Pattern.t;
right : ('M, 'T) Expression.t;
each : bool;
}