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