module FuncInterp:sig
..end
A function interpretation is represented as a finite map and an 'else'.
Each entry in the finite map represents the value of a function given a set of arguments.
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