let condition: t -> Condition.t option = fun t -> t.condition