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