Index_vec (hardcaml_circuits.Hardcaml_circuits.Index

module type Arg = sig ... end

module type S = sig ... end

module Make_tagged (Arg : Arg) : sig ... end

Index vector circuit which tracks indexes and arbitrary user tags

module Make (X : sig ... end) : sig ... end

Index vector circuit with tracks indexes.