1\ensuremath{\alpha} \HOLTyOp{dupop20171208a\$testtype} = \HOLTokenLeftrec{}
2   \HOLFieldName{fld1} : \ensuremath{\alpha};
3   \HOLFieldName{fld2} : \HOLTyOp{num} -> \HOLTyOp{bool}
4\HOLTokenRightrec{}
5
6(\ensuremath{\gamma}, 'dd) \HOLTyOp{testtype} = \HOLTokenLeftrec{}
7   \HOLFieldName{fld0} : \HOLTyOp{num};
8   \HOLFieldName{fld1} : \ensuremath{\gamma};
9   \HOLFieldName{fld3} : 'dd -> \HOLTyOp{bool};
10   \HOLFieldName{fld4} : \HOLTyOp{num};
11   \HOLFieldName{fld5} : \HOLTyOp{num} -> \HOLTyOp{num};
12   \HOLFieldName{fld6} : \HOLTyOp{num} -> \HOLTyOp{bool}
13\HOLTokenRightrec{}
14
15\ensuremath{\alpha} \HOLTyOp{dupop20171208a\$testtype} =
16  \HOLTokenLeftrec{} \HOLFieldName{fld1} : \ensuremath{\alpha}; \HOLFieldName{fld2} : \HOLTyOp{num} -> \HOLTyOp{bool} \HOLTokenRightrec{}
17
18(\ensuremath{\gamma}, 'dd) \HOLTyOp{testtype} =
19  \HOLTokenLeftrec{}
20    \HOLFieldName{fld0} : \HOLTyOp{num};
21    \HOLFieldName{fld1} : \ensuremath{\gamma};
22    \HOLFieldName{fld3} : 'dd -> \HOLTyOp{bool};
23    \HOLFieldName{fld4} : \HOLTyOp{num};
24    \HOLFieldName{fld5} : \HOLTyOp{num} -> \HOLTyOp{num};
25    \HOLFieldName{fld6} : \HOLTyOp{num} -> \HOLTyOp{bool}
26  \HOLTokenRightrec{}
27