init(auto:)

Declaration

init(auto: () -> (Top, repeat each P))