Module Ctx.Key

module Key: sig .. end

val lost_completeness : bool Flex_state.key