Name : change_name
Structure : (Left (Left $PARAM))
Sample Invocation : (Left (Left "Tacos"))
Params : { name: undefined, type: 'int' }
Name : move_horizontally
Structure : (Left (Right $PARAM))
Sample Invocation : (Left (Right -1))
Params : { name: undefined, type: 'nat' }
Name : move_vertically
Structure : (Right (Left $PARAM))
Sample Invocation : (Right (Left 99))
Params : { name: undefined, type: 'string' }
Name : shoot_alien
Structure : (Right (Right $PARAM))
Sample Invocation : (Right (Right "Tacos"))