Searched refs:assocToList (Results 1 – 1 of 1) sorted by relevance
1111 let assocToList i = \case function1113 ((j,u) : l) | i == j -> Just u : assocToList (i+1) l1114 l -> Nothing : assocToList (i+1) l1115 ivs = assocToList 0 ids