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 bool : unit -> Yices2_low.Types.type_t EH.t
val int : unit -> Yices2_low.Types.type_t EH.t
val real : unit -> Yices2_low.Types.type_t EH.t
val new_scalar : card:int -> Yices2_low.Types.type_t EH.t
val new_uninterpreted : ?name:string -> unit -> Yices2_low.Types.type_t EH.t
val is_bool : Yices2_low.Types.type_t -> bool EH.t
val is_int : Yices2_low.Types.type_t -> bool EH.t
val is_real : Yices2_low.Types.type_t -> bool EH.t
val is_arithmetic : Yices2_low.Types.type_t -> bool EH.t
val is_bitvector : Yices2_low.Types.type_t -> bool EH.t
val is_tuple : Yices2_low.Types.type_t -> bool EH.t
val is_function : Yices2_low.Types.type_t -> bool EH.t
val is_scalar : Yices2_low.Types.type_t -> bool EH.t
val is_uninterpreted : Yices2_low.Types.type_t -> bool EH.t
val compatible_types : Yices2_low.Types.type_t -> Yices2_low.Types.type_t -> bool EH.t
val bvsize : Yices2_low.Types.type_t -> int EH.t
val scalar_card : Yices2_low.Types.type_t -> int EH.t
val num_children : Yices2_low.Types.type_t -> int EH.t
module Names : sig ... end
val parse : string -> Yices2_low.Types.type_t EH.t