Bosatsu/Dict

source code: - test_workspace/Dict.bosatsu

Index

• Values: eq_Dict, eq_Pair

Values

eq_Dict

references: Bool, 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

references: Bool, Tuple2

def eq_Pair[a, b, c, d](eq_a: (a, b) -> Bool, eq_b: (c, d) -> Bool) -> ((a, c), (b, d)) -> Bool