libzipperposition.phases
Phases.Key
libzipperposition
libzipperposition.calculi
val cur_phase : any_phase Logtk.Flex_state.key
The current phase is stored in the state using this key