module Key: sig .. end
sig
end
val cur_phase : Phases.any_phase Logtk.Flex_state.key
Phases.any_phase Logtk.Flex_state.key