sig
val
lost_completeness : bool
Logtk
.
Flex_state
.key
end