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