[closing a/a1.sml]
 ModDecl
 . f%F
 . . def
 . . . FctModExp
 . . . . params
 . . . . . s%A
 . . . . . . s$A
 . . . . body
 . . . . . StructModExp
 . . . . . . SeqDecl
 . . . . . . . Ref s%C
 . . . . . . . Open s%A
 . . . . . . . Ref s%B s%D
 . . constraint

[closing a/a2.sml]
 ModDecl
 . s$A
 . . def
 . . . StructModExp
 . . . . SeqDecl
 . . constraint

[closing a/a3.sml]
 SeqDecl
 . ModDecl
 . . s$A
 . . . def
 . . . . StructModExp
 . . . . . SeqDecl
 . . . . . . ModDecl
 . . . . . . . s%B
 . . . . . . . . def
 . . . . . . . . . StructModExp
 . . . . . . . . . . SeqDecl
 . . . . . . . . constraint
 . . . constraint
 . ModDecl
 . . s$C
 . . . def
 . . . . s$A
 . . . constraint

[closing a/a4.sml]
 ModDecl
 . s$A
 . . def
 . . . StructModExp
 . . . . SeqDecl
 . . . . . ModDecl
 . . . . . . s%B
 . . . . . . . def
 . . . . . . . . StructModExp
 . . . . . . . . . SeqDecl
 . . . . . . . constraint
 . . . . . ModDecl
 . . . . . . s%D
 . . . . . . . def
 . . . . . . . . StructModExp
 . . . . . . . . . SeqDecl
 . . . . . . . constraint
 . . constraint
