Documentation

fwdJVP :: MonadFreshNames m => Scope SOACS -> Shape -> Attrs -> Lambda SOACS -> m (Lambda SOACS) Source #