pattern matching/ extracting from a dependent pair

Stream: new members

[Sarah]

Hi, I have the following type in my code :

icom : (fun Γ' => (eff : Effect) × (ty : d.Ty) × Com d Γ' eff ty) Γ'

Is it somehow possible to just retrieve the value for "Com d Γ' eff ty"

[Aaron Liu]

icom.snd.snd : Com d Γ' icom.fst icom.snd.fst

[Sarah]

thx, that helped.