3 begin

     3 begin

     4 

     4 

     5 (* free names in bar are bound in foo *)

     5 (* free names in bar are bound in foo *)

     6 

     6 

     7 atom_decl name

     7 atom_decl name

     8 

    10 

     9 nominal_datatype foo =

    11 nominal_datatype foo =

    10   Foo0 "name"

    12   Foo0 "name"

    11 | Foo1 b::"bar" f::"foo" bind (set) "bv b" in f

    13 | Foo1 b::"bar" f::"foo" bind (set) "bv b" in f

    12 and bar =

    14 and bar =