Isometricval make :
across:(Playground.number * Playground.number) ->
along:(Playground.number * Playground.number) ->
up:Playground.number ->
tval origin : Playground.number -> Playground.number -> t -> tval follow : Playground.number -> Playground.number -> t -> tval project :
t ->
(Playground.number * Playground.number * Playground.number) ->
Playground.number * Playground.numberval at :
t ->
(Playground.number * Playground.number * Playground.number) ->
Playground.shape ->
Playground.shapeval shadow :
t ->
(Playground.number * Playground.number * Playground.number) ->
Playground.shape ->
Playground.shapeval ground :
t ->
(Playground.number * Playground.number) ->
Playground.number * Playground.numberval depth :
t ->
(Playground.number * Playground.number * Playground.number) ->
Playground.numberval sorted :
(Playground.number * Playground.shape) list ->
Playground.shape listval toward_eye : t -> Playground.number * Playground.number * Playground.numberval sight :
t ->
(Playground.number * Playground.number * Playground.number) ->
Playground.number ->
(Playground.number * Playground.number) option