package z3

  1. Overview
  2. Docs
type pattern
val get_num_terms : pattern -> int
val get_terms : pattern -> Expr.expr list
val to_string : pattern -> string
OCaml

Innovation. Community. Security.