type t = | Bit of Base.bool| Bit_vector of Bit_vector.t| Bool of Base.bool| Int of Base.int| Real of Base.float| Std_logic of Std_logic.t| Std_logic_vector of Std_logic_vector.t| Std_ulogic of Std_logic.t| Std_ulogic_vector of Std_logic_vector.t| String of Base.stringinclude Ppx_compare_lib.Comparable.S with type t := tval compare : t Base__Ppx_compare_lib.compareval sexp_of_t : t -> Sexplib0.Sexp.tval bit : Base.bool -> tval bit_vector : Bit_vector.t -> tval bool : Base.bool -> tval int : Base.int -> tval real : Base.float -> tval std_logic : Std_logic.t -> tval std_logic_vector : Std_logic_vector.t -> tval std_ulogic : Std_logic.t -> tval std_ulogic_vector : Std_logic_vector.t -> tval string : Base.string -> tval is_bit : t -> Base.boolval is_bit_vector : t -> Base.boolval is_bool : t -> Base.boolval is_int : t -> Base.boolval is_real : t -> Base.boolval is_std_logic : t -> Base.boolval is_std_logic_vector : t -> Base.boolval is_std_ulogic : t -> Base.boolval is_std_ulogic_vector : t -> Base.boolval is_string : t -> Base.boolval bit_val : t -> Base.bool Base.optionval bit_vector_val : t -> Bit_vector.t Base.optionval bool_val : t -> Base.bool Base.optionval int_val : t -> Base.int Base.optionval real_val : t -> Base.float Base.optionval std_logic_val : t -> Std_logic.t Base.optionval std_logic_vector_val : t -> Std_logic_vector.t Base.optionval std_ulogic_val : t -> Std_logic.t Base.optionval std_ulogic_vector_val : t -> Std_logic_vector.t Base.optionval string_val : t -> Base.string Base.optionmodule Variants : sig ... endinclude Base.Equal.S with type t := tval equal : t Base__Equal.equal