package hardcaml-llvmsim

  1. Overview
  2. Docs

Parameters

module B : HardCaml.Bits.Ext.Comb.S

Signature

type t = B.t
type base_cyclesim = cyclesim
type cyclesim = t HardCaml.Cyclesim.Api.cyclesim
val wrap : (HardCaml.Bits.Ext.Utils_ext.bani * int) HardCaml.Cyclesim.Api.cyclesim -> B.t HardCaml.Cyclesim.Api.cyclesim
val make : HardCaml.Circuit.t -> B.t HardCaml.Cyclesim.Api.cyclesim
val write : string -> HardCaml.Circuit.t -> unit
val load : string -> B.t HardCaml.Cyclesim.Api.cyclesim
OCaml

Innovation. Community. Security.