Computes a string displaying the contents of the bra-list aBra. Thisfunction is curried, takes a printing function for the values as first parameter, and then returns a function taking the bra-list to display.
aBra
a function that displays a single element
a function displaying a bra-list
Computes a string displaying the contents of the bra-list
aBra
. Thisfunction is curried, takes a printing function for the values as first parameter, and then returns a function taking the bra-list to display.