0

给定两个列表 xs 和 ys，我想获得 Dec(xs ≡ ys) 的值。有谁知道包含这样一个运算符的标准库模块的名称？

4

1 回答 1

2

它在Data.List.Properties名称下≡-dec

于 2021-03-09T16:51:17.977 回答