TermPair<PFstT,PSndT>

type definition:

type TermPair<PFst extends PType, PSnd extends PType> = Term<PPair<PFst,PSnd>> & {

    readonly fst: UtilityTermOf<PFst>

    readonly snd: UtilityTermOf<PSnd>
    
}

fst

head

returns: UtilityTermOf<PFstT>

equivalent expression:

pfstPair( fstT, sndT ).$( term )

returns the first element of the pair

snd

snd

returns: UtilityTermOf<PSndT>

equivalent expression:

psndPair( fstT, sndT ).$( term )

returns the second element of the pair