package z3

  1. Overview
  2. Docs
type param_descrs
val validate : param_descrs -> params -> unit
val get_names : param_descrs -> Symbol.symbol list
val get_size : param_descrs -> int
val to_string : param_descrs -> string
OCaml

Innovation. Community. Security.