bool Contains(
	TransactionID id
)

Function Contains ( 
	id As TransactionID
) As Boolean

bool Contains(
	TransactionID^ id
)

abstract Contains : 
        id : TransactionID -> bool