4001def decodeMatchWithAfterFamily =
4002 (lambda unrestricted familyName : Bytes .
4003 (lambda unrestricted remaining : (family TermList) .
4004 (eliminate
4005 TermList
4006 (lambda unrestricted value : (family TermList) . (family TermDecodeResult))
4007 remaining
4008 (branch TermListEnd . familyTermDecodeFailed)
4009 (branch
4010 TermListNext
4011 motive
4012 afterMotive
4013 ih_afterMotive
4014 .
4015 (eliminate
4016 TermList
4017 (lambda unrestricted value : (family TermList) . (family TermDecodeResult))
4018 afterMotive
4019 (branch TermListEnd . familyTermDecodeFailed)
4020 (branch
4021 TermListNext
4022 scrutinee
4023 branches
4024 ih_branches
4025 .
4026 (constructor
4027 TermDecodeResult
4028 TermDecoded
4029 (constructor
4030 Term
4031 MatchWith
4032 familyName
4033 motive
4034 scrutinee
4035 (termListToTermSequence branches)))))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.