'a -> Environment -> Environment -> 'a
obj
A continuation representing a transform of pre-computed data float = previous state
Type something to start searching.