Previous  Up  

Module Phases.Key

module Key: sig .. end
val cur_phase : Phases.any_phase Logtk.Flex_state.key
The current phase is stored in the state using this key