_
is not a valid “letop” suffix, but let_
is a valid identifier, so let ( let_ ) = ...
is interpreted as binding a (unary) tuple pattern: you could do let let_ o f = ...
but this will be a usual function binding, not a “letop” definition.
Cheers,
Nicolas