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 pred2a : 'a Conversion.t -> string -> 'a pred2a Conversion.tval pred3a :
'a Conversion.t ->
'b Conversion.t ->
string ->
('a, 'b) pred3a Conversion.tval filter1 :
once:once ->
depth:int ->
filter:(('a -> bool) -> 's -> 't) ->
'a pred1 ->
's ->
Data.state ->
Data.state * 't * Conversion.extra_goalsval filter2 :
once:once ->
depth:int ->
filter:(('a -> 'b -> bool) -> 's -> 't) ->
('a, 'b) pred2 ->
's ->
Data.state ->
Data.state * 't * Conversion.extra_goalsval map1 :
once:once ->
depth:int ->
map:(('a -> 'c) -> 's -> 't) ->
('a, 'c) pred2 ->
's ->
Data.state ->
Data.state * 't * Conversion.extra_goalsval map2 :
once:once ->
depth:int ->
map:(('a -> 'b -> 'c) -> 's -> 't) ->
('a, 'b, 'c) pred3 ->
's ->
Data.state ->
Data.state * 't * Conversion.extra_goalsval fold1 :
once:once ->
depth:int ->
fold:(('a -> Data.term -> Data.term) -> 's -> Data.term -> Data.term) ->
'a pred2a ->
's ->
Data.term ->
Data.state ->
Data.state * Data.term * Conversion.extra_goalsval fold2 :
once:once ->
depth:int ->
fold:(('a -> 'b -> Data.term -> Data.term) -> 's -> Data.term -> Data.term) ->
('a, 'b) pred3a ->
's ->
Data.term ->
Data.state ->
Data.state * Data.term * Conversion.extra_goals