package yices2_bindings

  1. Overview
  2. Docs
val bvconst_int : width:int -> int -> Yices2_low.Types.term_t
val bvconst_uint32 : width:int -> Unsigned.uint -> Yices2_low.Types.term_t
val bvconst_uint64 : width:int -> Unsigned.ulong -> Yices2_low.Types.term_t
val bvconst_int32 : width:int -> Signed.sint -> Yices2_low.Types.term_t
val bvconst_int64 : width:int -> Signed.long -> Yices2_low.Types.term_t
val bvconst_mpz : width:int -> Z.t -> Yices2_low.Types.term_t
val bvconst_zero : width:int -> Yices2_low.Types.term_t
val bvconst_one : width:int -> Yices2_low.Types.term_t
val bvconst_minus_one : width:int -> Yices2_low.Types.term_t
val bvconst_from_list : bool list -> Yices2_low.Types.term_t
val parse_bvbin : string -> Yices2_low.Types.term_t
val parse_bvhex : string -> Yices2_low.Types.term_t
val bvextract : Yices2_low.Types.term_t -> int -> int -> Yices2_low.Types.term_t
OCaml

Innovation. Community. Security.