val tree : 'a STools.ToShiftS.t -> 'a Tree.tree -> STools.ShiftS.tval trees : 'a STools.ToShiftS.t -> 'a Tree.tree list STools.ToShiftS.tval atree :
'a STools.ToShiftS.t ->
'b STools.ToShiftS.t ->
('a, 'b) Tree.atree ->
STools.ShiftS.tval atrees :
'a STools.ToShiftS.t ->
'b STools.ToShiftS.t ->
('a, 'b) Tree.atree list ->
STools.ShiftS.tval aatree : 'a STools.ToShiftS.t -> ('a, 'a) Tree.atree -> STools.ShiftS.tval aatrees :
'a STools.ToShiftS.t ->
('a, 'a) Tree.atree list ->
STools.ShiftS.tval gnext :
'a STools.ToShiftS.t ->
'b STools.ToShiftS.t ->
('a, 'b) Tree.gnext ->
STools.ShiftS.t