descript-lang-0.2.0.0: test-resources/examples/PrimBuiltin.dscr
import Base{}
// From Base
Add[left, right].
// From Base
Add[left: #Number[], right: #Number[]]: #Add[a: left<Add, b: right<Add]
Add[left: 3, right: 2]?
import Base{}
// From Base
Add[left, right].
// From Base
Add[left: #Number[], right: #Number[]]: #Add[a: left<Add, b: right<Add]
Add[left: 3, right: 2]?