Module Fifo_intf.Kinded_fifo

type ('a, 'b) t =
| Classic : 'a T.t -> ('a[ `Classic ]) t
| Showahead : 'a T.t -> ('a[ `Showahead ]) t
type 'a packed =
| T : ('a'b) t -> 'a packed
type create_classic = capacity:Hardcaml__.Import.int -> write_clock:Hardcaml.Signal.t -> read_clock:Hardcaml.Signal.t -> clear:Hardcaml.Signal.t -> wr:Hardcaml.Signal.t -> d:Hardcaml.Signal.t -> rd:Hardcaml.Signal.t -> (Hardcaml.Signal.t[ `Classic ]) t
type create_showahead = capacity:Hardcaml__.Import.int -> write_clock:Hardcaml.Signal.t -> read_clock:Hardcaml.Signal.t -> clear:Hardcaml.Signal.t -> wr:Hardcaml.Signal.t -> d:Hardcaml.Signal.t -> rd:Hardcaml.Signal.t -> (Hardcaml.Signal.t[ `Showahead ]) t