DoubleArrow
DoubleArrow
-- a type of
Expression
which represents something of the form
a => b
.
This is experimental, and intended for internal use only.
