Module Jane_syntax.Arrow_currySource

The attribute placed on the inner Ptyp_arrow node in x -> (y -> z) (meaning the y -> z node) to indicate parenthesization. This is relevant for locals, as local_ x -> (y -> z) is different than local_ x -> y -> z.