Module Hardcaml_circuits.Vec

A simple vector structure with insert and delete operations at arbitrary positions.

module type Arg = sig ... end
module type S = sig ... end

operations

val noop : (module Hardcaml.Comb.S with type t = 'a) -> 'a

no op

val insert : (module Hardcaml.Comb.S with type t = 'a) -> 'a

insert at index

val remove : (module Hardcaml.Comb.S with type t = 'a) -> 'a

remove at index

Construction of vec circuits with given size

module Make (Arg : Arg) : S with type data := Hardcaml.Signal.t Arg.Interface.t