"type is a function which accepts a value representative of the state of a" . . . .