package z3

  1. Overview
  2. Docs
val mk_sort : context -> Symbol.symbol -> int -> Sort.sort
val mk_sort_s : context -> string -> int -> Sort.sort
val is_finite_domain : Expr.expr -> bool
val is_lt : Expr.expr -> bool
val get_size : Sort.sort -> int
OCaml

Innovation. Community. Security.