Lines Matching defs:child
1034 then (* It's this node or a child. *)
1036 val child = find(tree, Down)
1038 (* See if the element we want is actually a child. *)
1039 case child of
1040 SOME child =>
1042 (* See which child it is. *)
1043 fun findChild(location as {startPosition, endPosition, ...}, child) =
1045 then SOME (location, child)
1047 case find(child, Right) of
1051 case findChild(child()) of
1053 | SOME child => navigateTo(searchLocation, SOME child)