Data.Type.List.Proof.Member
Abstract data types
data
Member
ctx a
Operators on
Member
proofs
toEq
weakenL
same
weakenR
split