Adaptors for standard HO functions
val pred1 : 'a Conversion.t -> 'a pred1 Conversion.tval pred2 : 'a Conversion.t -> 'b Conversion.t -> ('a, 'b) pred2 Conversion.tval pred3 :
'a Conversion.t ->
'b Conversion.t ->
'c Conversion.t ->
('a, 'b, 'c) pred3 Conversion.tval filter1 :
once:once ->
depth:int ->
filter:(('a -> bool) -> 's -> 's) ->
'a pred1 ->
's ->
Data.state ->
Data.state * 's * Conversion.extra_goalsval filter2 :
once:once ->
depth:int ->
filter:(('a -> 'b -> bool) -> 's -> 's) ->
('a, 'b) pred2 ->
's ->
Data.state ->
Data.state * 's * Conversion.extra_goalsval map1 :
once:once ->
depth:int ->
map:(('a -> 'c) -> 's -> 's) ->
('a, 'c) pred2 ->
's ->
Data.state ->
Data.state * 's * Conversion.extra_goalsval map2 :
once:once ->
depth:int ->
map:(('a -> 'b -> 'c) -> 's -> 's) ->
('a, 'b, 'c) pred3 ->
's ->
Data.state ->
Data.state * 's * Conversion.extra_goals