Source file reg_spec.ml

1
2
3
(** Definition of clock, reset and clear signals for sequential logic (ie registers). *)

include Signal.Reg_spec_