6 declare [[STEPS = 20]]

     6 declare [[STEPS = 2]]

     7 

     7 

     8 nominal_datatype  lam =

     8 nominal_datatype 'a lam =

    10 | App "lam" "lam"

    10 | App "'a lam" "'a lam"

    11 | Lam x::"name" l::"lam"  bind x in l

    11 | Lam x::"name" l::"'a lam"  bind x in l

    12 

    13 ML {* Datatype.read_typ *}