Offroadtype ground = {height : Playground.number -> Playground.number -> Playground.number;gravity : Playground.number;lo : Playground.number;hi : Playground.number;}val slope :
ground ->
Playground.number ->
Playground.number ->
Playground.number * Playground.numberval drive :
ground ->
Topdown.track ->
Topdown.params ->
Playground.number ->
Playground.number ->
Playground.number ->
t ->
tval push : Playground.number -> t -> t -> t * tval pose : ground -> t -> Playground.number * Playground.number