В качестве дополнения к предыдущим ответам, если вы хотите иметь возможность сопоставления шаблонов с последовательностями, вы можете определить активный шаблон:
let (|Cons|Nil|) s =
if Seq.isEmpty s then
Nil
else
Cons(Seq.head s, Seq.skip 1 s)
let rec addentry map keys =
match keys with
| Cons((i,j), tail) -> Map.add (i,j) ((inputd.[i]).[j]) (addentry map tail)
| Nil -> map