#lang plait
(define-type Animal
[Snake (name : Symbol) (weight : Number) (food : Symbol)]
[Tiger (name : Symbol) (weight : Number)])
(type-case Animal
(Snake 'Slimey 10 'rats)
[(Snake n w f) n]
[(Tiger n sc) n])
#lang plait
(define-type Animal
[Snake (name : Symbol) (weight : Number) (food : Symbol)]
[Tiger (name : Symbol) (weight : Number)])
(type-case Animal
(Snake 'Slimey 10 'rats)
[(Snake n w f) n]
[(Tiger n sc) n])