;list sederhana
;konstruktor
 konso
 kos.
;selector
 firstElmt(L),LastElmt(L),Tail(L),head(L)
;predikat
 isEmpty
 isOneElmt
 isMember *
 isEqual(L1,L2)*
;fungsi thd tipe
 nbElmt(L) *
 copy(L) *
 konkat(L1,L2) *
 ElmtkeN(N,L) *