aw-422.input « interpreter « testsuite « src - open-axiom - open scientific computation system

about summary refs log tree commit diff

path: root/src/testsuite/interpreter/aw-422.input

blob: 695171433acb830539d2402030ee08f271b7a4c8 (plain)

MayPair(T: Domain): Domain == Record(x: T, y: T)

w: MyPair Float
x
y