FuncInterp.FuncEntry
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