package smtml

  1. Overview
  2. Docs
val to_int : interp -> int
val to_real : interp -> float
val to_bool : interp -> bool
val to_string : interp -> string t
val to_bitv : interp -> int -> int64
val to_float : interp -> int -> int -> float t
OCaml

Innovation. Community. Security.