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