package yices2_bindings

  1. Overview
  2. Docs
val equal : t -> t -> Ppx_deriving_runtime.bool
val compare : t -> t -> Ppx_deriving_runtime.int
val hash : t -> int
val true0 : unit -> Yices2_low.Types.term_t eh
val false0 : unit -> Yices2_low.Types.term_t eh
val new_uninterpreted : ?name:string -> Yices2_low.Types.type_t -> Yices2_low.Types.term_t eh
module Arith : sig ... end
module BV : sig ... end
val is_bool : Yices2_low.Types.term_t -> bool eh
val is_int : Yices2_low.Types.term_t -> bool eh
val is_real : Yices2_low.Types.term_t -> bool eh
val is_arithmetic : Yices2_low.Types.term_t -> bool eh
val is_bitvector : Yices2_low.Types.term_t -> bool eh
val is_tuple : Yices2_low.Types.term_t -> bool eh
val is_function : Yices2_low.Types.term_t -> bool eh
val is_scalar : Yices2_low.Types.term_t -> bool eh
val bitsize : Yices2_low.Types.term_t -> int eh
val is_ground : Yices2_low.Types.term_t -> bool eh
val is_atomic : Yices2_low.Types.term_t -> bool eh
val is_composite : Yices2_low.Types.term_t -> bool eh
val is_projection : Yices2_low.Types.term_t -> bool eh
val is_sum : Yices2_low.Types.term_t -> bool eh
val is_bvsum : Yices2_low.Types.term_t -> bool eh
val is_product : Yices2_low.Types.term_t -> bool eh
val num_children : Yices2_low.Types.term_t -> int eh
val proj_index : Yices2_low.Types.term_t -> int eh
val bool_const_value : Yices2_low.Types.term_t -> bool eh
val bv_const_value : Yices2_low.Types.term_t -> bool list eh
val scalar_const_value : Yices2_low.Types.term_t -> int eh
val rational_const_value : Yices2_low.Types.term_t -> Q.t eh
val sum_component : Yices2_low.Types.term_t -> int -> (Q.t * Yices2_low.Types.term_t option) eh
val bvsum_component : Yices2_low.Types.term_t -> int -> (bool list * Yices2_low.Types.term_t option) eh
val product_component : Yices2_low.Types.term_t -> int -> (Yices2_low.Types.term_t * Unsigned.uint) eh
module Names : sig ... end
val parse : string -> Yices2_low.Types.term_t eh