:: Randomized (Array Int ProposalInfo)
let loadA = constArray (0, numRvrs-1) 1
let prefA = funcArray ((0, 0), (numRvrs-1, numProps-1)) (\(i,j) ->
:: Randomized (Array Int ProposalInfo)
let loadA = constArray (0, numRvrs-1) 1
let prefA = funcArray ((0, 0), (numRvrs-1, numProps-1)) (\(i,j) ->