module FuncEntry:sig
..end
An Entry object represents an element in the finite map used to a function interpretation.
type
func_entry
val get_value : func_entry -> Expr.expr
val get_num_args : func_entry -> int
val get_args : func_entry -> Expr.expr list
val to_string : func_entry -> string