module Key: sig .. end
sig
end
val lost_completeness : bool Logtk.Flex_state.key
bool Logtk.Flex_state.key