Expression.Comprehension
module Block : sig ... end
type ('M, 'T) t = {
blocks : ('M, 'T) Block.t list;
filter : ('M, 'T) Expression.t option;
}