Module Cyclesim.TracedSource

Sourcetype io_port = {
  1. signal : Signal.t;
  2. name : Base.string;
}
Sourceval sexp_of_io_port : io_port -> Sexplib0.Sexp.t
Sourcetype internal_signal = {
  1. signal : Signal.t;
  2. mangled_names : Base.string Base.list;
}
Sourceval sexp_of_internal_signal : internal_signal -> Sexplib0.Sexp.t
Sourcetype t = {
  1. input_ports : io_port Base.list;
  2. output_ports : io_port Base.list;
  3. internal_signals : internal_signal Base.list;
}
Sourceval sexp_of_t : t -> Sexplib0.Sexp.t
Sourceval to_io_port : Signal.t -> io_port