package z3

  1. Overview
  2. Docs
type symbol
val is_int_symbol : symbol -> bool
val is_string_symbol : symbol -> bool
val get_int : symbol -> int
val get_string : symbol -> string
val to_string : symbol -> string
val mk_int : context -> int -> symbol
val mk_string : context -> string -> symbol
val mk_ints : context -> int list -> symbol list
val mk_strings : context -> string list -> symbol list
OCaml

Innovation. Community. Security.