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