Representation of variable width Constants and conversion to/from OCaml types.
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.tmodule Signedness : sig ... endval empty : tval create : Base.Int.t -> tcreate n create a n bit constant, initialized to hold all 0s.
val width : t -> Base.Int.tBit width of constant
val to_binary_string : t -> Hardcaml__.Import.String.tConvert a constant to a string of '1' and '0' chars.
val to_binary_string_hum : t -> Hardcaml__.Import.String.tSame as to_binary_string but adds '_'s every chars
val to_int : t -> Base.Int.tConvert constant to an int. Bits above Int.num_bits are dropped.
val to_int32 : t -> Base.Int32.tConvert constant to an int32. Bits above Int32.num_bits are dropped.
val to_int64 : t -> Base.Int64.tConvert constant to an int64. Bits above Int64.num_bits are dropped.
val to_int64_array : t -> Base.Int64.t Hardcaml__.Import.Array.tConvert to array of int64s
val to_hex_string : signedness:Signedness.t -> t -> Hardcaml__.Import.String.tConvert to a hex encoded string.
val of_binary_string : Hardcaml__.Import.String.t -> tConvert a string containing '1' and '0' characters to a constant. Width is inferred from the strings length.
val of_binary_string_hum : Hardcaml__.Import.String.t -> tSame as of_binary_string but allow '_' chars
val of_int : width:Base.Int.t -> Base.Int.t -> tCreate a constant from the given int value.
val of_int32 : width:Base.Int.t -> Base.Int32.t -> tCreate a constant from the given int32 value
val of_int64 : width:Base.Int.t -> Base.Int64.t -> tCreate a constant from the given int64 value
val of_int64_array :
width:Base.Int.t ->
Base.Int64.t Hardcaml__.Import.Array.t ->
tCreate from an array of int64s
val of_hex_string :
signedness:Signedness.t ->
width:Base.Int.t ->
Hardcaml__.Import.String.t ->
tCreate from a hex encoded string.
Utility conversion functions to/from hex chars
module type Bit = sig ... endmodule Make_bit_list (Bit : Bit) : sig ... endCreate constant conversion functions from lists of some inner Bit.t type.
val of_bit_list : Base.Int.t Hardcaml__.Import.List.t -> tval to_bit_list : t -> Base.Int.t Hardcaml__.Import.List.tval pp : Hardcaml__.Import.Formatter.t -> t -> Hardcaml__.Import.Unit.tval unsafe_to_bytes : t -> Hardcaml__.Import.Bytes.tReturn the underlying Bytes.t representation of the constant. We label as unsafe as the output bytes are not copied. Mutating them should be done with care.
val unsafe_of_bytes : width:Base.Int.t -> Hardcaml__.Import.Bytes.t -> tConstruct a constant from the given Bytes.t. We label as unsafe as the input bytes are not copied. Mutating them should be done with care.
The length of the given Bytes.t must be rounded up to 64 bits and be the correct size of fit width bits or an exception is raised.