Bosatsu/Dict
Index
Values
eq_Dict
def eq_Dict[a,
b](eq_key: (a, a) -> Bool, eq_value: (b, b) -> Bool) -> (Dict[a, b], Dict[a, b]) -> Bool
eq_Pair
def eq_Pair[a, b, c, d](eq_a: (a, b) -> Bool, eq_b: (c, d) -> Bool) -> ((a, c), (b, d)) -> Bool
The source code for this page can be found here.