get

Map Option State PList

getAll

PList

getAll_contain_lemma

PairListLemmas

getAll_delete_lemma

PairListLemmas FIFOMapLemmas

getFirst

PList

getLast

PList

getOrElse

Map Option

get_commu_lemma

FIFOMapLemmas

get_swap_lemma

FIFOMapLemmas

gets

State

groupBy

List List PList