libzipperposition

Library for Zipperposition
IN THIS PACKAGE
val lost_completeness : bool Logtk.Flex_state.key