sig
  val signature : Libzipperposition.Signature.t
  val ord : Libzipperposition.Ordering.t
  val select : Selection.t
end