package z3

  1. Overview
  2. Docs
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
OCaml

Innovation. Community. Security.