Module Ctx.Key

val lost_completeness : bool Logtk.Flex_state.key