package z3

  1. Overview
  2. Docs
type func_interp
module FuncEntry : sig ... end
val get_num_entries : func_interp -> int
val get_entries : func_interp -> FuncEntry.func_entry list
val get_else : func_interp -> Expr.expr
val get_arity : func_interp -> int
val to_string : func_interp -> string