type is_partial = bool
type proj_seq = Sequence.t, is_partial
type t = proj_seq list