Documentation

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