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