sig val skel : bool array array val root : int val pos : (float * float * float) array val all : bool array array * (float * float * float) array * int end