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.t
val false0 : unit -> Yices2_low.Types.term_t EH.t
val new_uninterpreted : ?name:string -> Yices2_low.Types.type_t -> Yices2_low.Types.term_t EH.t
module Arith : sig ... end
module BV : sig ... end
val is_bool : Yices2_low.Types.term_t -> bool EH.t
val is_int : Yices2_low.Types.term_t -> bool EH.t
val is_real : Yices2_low.Types.term_t -> bool EH.t
val is_arithmetic : Yices2_low.Types.term_t -> bool EH.t
val is_bitvector : Yices2_low.Types.term_t -> bool EH.t
val is_tuple : Yices2_low.Types.term_t -> bool EH.t
val is_function : Yices2_low.Types.term_t -> bool EH.t
val is_scalar : Yices2_low.Types.term_t -> bool EH.t
val bitsize : Yices2_low.Types.term_t -> int EH.t
val is_ground : Yices2_low.Types.term_t -> bool EH.t
val is_atomic : Yices2_low.Types.term_t -> bool EH.t
val is_composite : Yices2_low.Types.term_t -> bool EH.t
val is_projection : Yices2_low.Types.term_t -> bool EH.t
val is_sum : Yices2_low.Types.term_t -> bool EH.t
val is_bvsum : Yices2_low.Types.term_t -> bool EH.t
val is_product : Yices2_low.Types.term_t -> bool EH.t
val num_children : Yices2_low.Types.term_t -> int EH.t
val proj_index : Yices2_low.Types.term_t -> int EH.t
val bool_const_value : Yices2_low.Types.term_t -> bool EH.t
val bv_const_value : Yices2_low.Types.term_t -> bool list EH.t
val scalar_const_value : Yices2_low.Types.term_t -> int EH.t
val rational_const_value : Yices2_low.Types.term_t -> Q.t EH.t
val sum_component : Yices2_low.Types.term_t -> int -> (Q.t * Yices2_low.Types.term_t option) EH.t
val bvsum_component : Yices2_low.Types.term_t -> int -> (bool list * Yices2_low.Types.term_t option) EH.t
module Names : sig ... end
val parse : string -> Yices2_low.Types.term_t EH.t