47 Examples 2 §no news for the monster function l as expected, since it does not contain any Let # sem1 monster [] 0;; - : evalt * (string * evalt) list = Notype, [] # sem1 monster [] 1;; - : evalt * (string * evalt) list = Notype, [] # sem1 monster [] 2;; - : evalt * (string * evalt) list = Mkarrow(Mkarrow (Vvar var43 , Vvar var43 ), Mkarrow(Mkarrow (Vvar var43 , Vvar var36 ), Mkarrow(Intero, Mkarrow (Vvar var43 , Vvar var36 )))), []
{}