sig
  type term = TermInner.Default.t
  type t = (Model.Default.term, Model.Default.term) Model.model
  val to_sexp : Model.Default.t Model.to_sexp
  val print_standard : Model.Default.t Model.printer
end