libzipperposition

Library for Zipperposition
IN THIS PACKAGE
Module type Libzipperposition . Ctx . PARAMETERS
val signature : Logtk.Signature.t
val select : Selection.t
val eta : [ `Reduce | `Expand | `None ]
val sk_ctx : Logtk.Skolem.ctx