package hardcaml_event_driven_sim

  1. Overview
  2. Docs

Parameters

module Logic : Logic.S

Signature

type t
val create : Core.Out_channel.t -> Logic.t Port.t list -> t
val processes : t -> Event_driven_sim.Simulator.Process.t list
val attach_to_simulator : t -> Event_driven_sim.Simulator.t -> unit
OCaml

Innovation. Community. Security.