in_phase1( validity_range: Interval<Int>, submitted_at: Int, process_time: Int, ) -> Bool
Compatibility module for phase predicates used by property tests.
in_phase2( validity_range: Interval<Int>, submitted_at: Int, process_time: Int, retract_time: Int, ) -> Bool