package yices2_bindings

  1. Overview
  2. Docs
val zero : unit -> Yices2_low.Types.term_t eh
val int : int -> Yices2_low.Types.term_t eh
val int32 : Signed.sint -> Yices2_low.Types.term_t eh
val int64 : Signed.long -> Yices2_low.Types.term_t eh
val rational : int -> int -> Yices2_low.Types.term_t eh
val rational32 : Signed.sint -> Unsigned.uint -> Yices2_low.Types.term_t eh
val rational64 : Signed.long -> Unsigned.ulong -> Yices2_low.Types.term_t eh
val parse_rational : string -> Yices2_low.Types.term_t eh
val parse_float : string -> Yices2_low.Types.term_t eh
val power32 : Yices2_low.Types.term_t -> Unsigned.uint -> Yices2_low.Types.term_t eh
val poly_int : (int * Yices2_low.Types.term_t) list -> Yices2_low.Types.term_t eh
val poly_int32 : (Signed.sint * Yices2_low.Types.term_t) list -> Yices2_low.Types.term_t eh
val poly_int64 : (Signed.long * Yices2_low.Types.term_t) list -> Yices2_low.Types.term_t eh
val poly_rational : (int * int * Yices2_low.Types.term_t) list -> Yices2_low.Types.term_t eh
val poly_rational32 : (Signed.sint * Unsigned.uint * Yices2_low.Types.term_t) list -> Yices2_low.Types.term_t eh
val poly_rational64 : (Signed.long * Unsigned.ulong * Yices2_low.Types.term_t) list -> Yices2_low.Types.term_t eh
OCaml

Innovation. Community. Security.