1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
open! Base
module Clocking = Clocking
module Cross_product = Cross_product.Make
module type Value_arg = Value.Arg
module Pair = Pair
module With_valid = With_valid
module Value = Value.Make
module type Scalar = Scalar.S
module Scalar = Scalar.Make
module type Arg_with_length = sig
include Value_arg
val length : int
end
module List (X : Arg_with_length) = struct
module Pre = struct
include Base.List
let map2 = map2_exn
let iter2 = iter2_exn
let port_names_and_widths =
init X.length ~f:(fun i -> [%string "%{X.port_name}%{i#Int}"], X.port_width)
;;
end
include Pre
include Interface.Make (Pre)
end
module Array (X : Arg_with_length) = struct
module Pre = struct
include Base.Array
let map2 = map2_exn
let iter2 = iter2_exn
let port_names_and_widths =
init X.length ~f:(fun i -> [%string "%{X.port_name}%{i#Int}"], X.port_width)
;;
end
include Pre
include Interface.Make (Pre)
end