Open gelisam opened 11 years ago
If the user expression has type a -> b -> b, implicitly fold1 over the lines, failing if there are none.
a -> b -> b
fold1
If the user expression has type
a -> b -> b, implicitlyfold1over the lines, failing if there are none.