sig
val
lost_completeness : bool
Flex_state
.key
end