sig
  type func_interp
  module FuncEntry :
    sig
      type func_entry
      val get_value :
        Z3.Model.FuncInterp.FuncEntry.func_entry -> Z3.Expr.expr
      val get_num_args : Z3.Model.FuncInterp.FuncEntry.func_entry -> int
      val get_args :
        Z3.Model.FuncInterp.FuncEntry.func_entry -> Z3.Expr.expr list
      val to_string : Z3.Model.FuncInterp.FuncEntry.func_entry -> string
    end
  val get_num_entries : Z3.Model.FuncInterp.func_interp -> int
  val get_entries :
    Z3.Model.FuncInterp.func_interp ->
    Z3.Model.FuncInterp.FuncEntry.func_entry list
  val get_else : Z3.Model.FuncInterp.func_interp -> Z3.Expr.expr
  val get_arity : Z3.Model.FuncInterp.func_interp -> int
  val to_string : Z3.Model.FuncInterp.func_interp -> string
end