sig
type
t =
Function
|
Return
|
Param
of
int
end