Searched refs:NaturalSubtractZero (Results 1 – 1 of 1) sorted by relevance
133 | NaturalSubtractZero constructor530 VHLam NaturalSubtractZero id1070 NaturalSubtractZero -> App NaturalSubtract (NaturalLit 0)