logtk

Core types and algorithms for logic
IN THIS PACKAGE
Parameter #1 Logtk . SolidSubsumption . Make . S
val st : Flex_state.t