package hardcaml

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Bits.MutableSource

Mutable is a mutable bits used by Cyclesim for efficiency.

Sourcetype t = private Base.bytes
Sourceval number_of_data_bytes : t -> Base.int
Sourceval empty : t
Sourceval width : t -> Base.int
Sourceval to_string : t -> Base.string
Sourceval create : Base.int -> t

Create a t of given width, initially set to 0.

Sourceval copy : src:t -> dst:t -> Base.unit
Sourceval copy_bits : src:t -> dst:t -> Base.unit
Sourceval num_words : t -> Base.int

A Bits.Mutable.t can be accessed as an array of 64 bit words.

Sourceval unsafe_get_int64 : t -> Base.int -> Base.int64
Sourceval unsafe_set_int64 : t -> Base.int -> Base.int64 -> Base.unit
Sourceval get_int64 : t -> Base.int -> Base.int64
Sourceval set_int64 : t -> Base.int -> Base.int64 -> Base.unit
Sourceval to_bits : t -> t
Sourceval of_constant : Constant.t -> t
Sourceval to_constant : t -> Constant.t
Sourceval vdd : t
Sourceval gnd : t
Sourceval wire : Base.int -> t
Sourceval (--) : t -> Base.string -> t
Sourceval (&:) : t -> t -> t -> Base.unit
Sourceval (|:) : t -> t -> t -> Base.unit
Sourceval (^:) : t -> t -> t -> Base.unit
Sourceval (~:) : t -> t -> Base.unit
Sourceval (+:) : t -> t -> t -> Base.unit
Sourceval (-:) : t -> t -> t -> Base.unit
Sourceval (==:) : t -> t -> t -> Base.unit
Sourceval (<>:) : t -> t -> t -> Base.unit
Sourceval (<:) : t -> t -> t -> Base.unit
Sourceval mux : t -> t -> t Base.list -> Base.unit
Sourceval concat : t -> t Base.list -> Base.unit
Sourceval concat_rev_array : t -> t Base.array -> Base.unit
Sourceval select : t -> t -> Base.int -> Base.int -> Base.unit
Sourceval (*:) : t -> t -> t -> Base.unit
Sourceval (*+) : t -> t -> t -> Base.unit
Sourceval mask : t -> Base.unit

Mask the unused bits to zero.

Sourcemodule Comb : Comb.S with type t = t
OCaml

Innovation. Community. Security.