4 

     4 

     5 atom_decl name

     5 atom_decl name

     6 

     6 

     7 ML {* print_depth 50 *}

     7 ML {* print_depth 50 *}

     8 declare [[STEPS = 4]]

     8 declare [[STEPS = 4]]

     9 

    10 

    10 nominal_datatype trm =

    11 nominal_datatype trm =

    11   Var "name"

    12   Var "name"

    12 | App "trm" "trm"

    13 | App "trm" "trm"

    13 | Lam x::"name" t::"trm"  bind_set x in t

    14 | Lam x::"name" t::"trm"  bind_set x in t