package hardcaml

  1. Overview
  2. Docs
package hardcaml
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Bits : Comb.S

Signature

type t = Bits.t
type cyclesim = t Api.cyclesim
type get_internal = (Signal.Types.signal -> bool) option
type run_inst = Signal.Types.instantiation -> t list -> t list
type get_inst = string -> run_inst option
val make : ?log:(string -> unit) -> ?internal:get_internal -> ?inst:get_inst -> Circuit.t -> cyclesim
exception Sim_comparison_failure of int * string * string * string
val combine_strict : cyclesim -> cyclesim -> cyclesim
val combine_relaxed : cyclesim -> cyclesim -> cyclesim
module InstOps : sig ... end