def replicate

stelliferous@0.0.2.0 · math_sequence.bend:59

import Base

59def replicate(-Element: Data,length: Nat,+value: Element) -> Values(Element,length):
60  match length:
61    case 0n: Unit{}
62    case 1n+rest: Elements{value,replicate(Element,rest,value)}