Module Ctx.Key

module Key: sig .. end

val lost_completeness : bool Logtk.Flex_state.key