prefixConsx'xs'Consxxsand!EQx'xprefixxs'xsdomatchConsxxsNilnNildomatchNilNilnConsnNilprefixConsxxsNilFalseprefixNilcsTruedomatchpatcsConsxxsndomatch[Ite]prefixpatcsConsxxspatcsConsxxsneqNatListConsxxsConsyyseqNatList[Ite]!EQxyyysxxseqNatListConsxxsNilFalseeqNatListNilConsyysFalseeqNatListNilNilTruenotEmptyConsxxsTruenotEmptyNilFalsestrmatchpatstrstrdomatchpatstrstrNilandFalseFalseFalseandTrueFalseFalseandFalseTrueFalseandTrueTrueTrue!EQSxSy!EQxy!EQ0SyFalse!EQSx0False!EQ00Truedomatch[Ite]FalsepatcsConsxxsndomatchpatcsxsConsnConsNilNildomatch[Ite]TruepatcsConsxxsnConsndomatchpatcsxsConsnConsNilNileqNatList[Ite]FalseyysxxsFalseeqNatList[Ite]TrueyysxxseqNatListxsysdomatch[Ite]4True0strmatch2prefix2Nil0and2eqNatList[Ite]5!EQ2S1Cons200notEmpty1eqNatList2domatch3False0INNERMOSTFrederiksen_Others/strmatch.tml.trs