HOAdaptors (elpi.Elpi.API.BuiltInPredicate.HOAdaptors)

type 'a pred1

type ('a, 'b) pred2

type ('a, 'b, 'c) pred3

val pred1 : 'a Conversion.t -> 'a pred1 Conversion.t

val pred2 : 'a Conversion.t -> 'b Conversion.t -> ( 'a, 'b ) pred2 Conversion.t

val pred3 : 
  'a Conversion.t ->
  'b Conversion.t ->
  'c Conversion.t ->
  ( 'a, 'b, 'c ) pred3 Conversion.t

val filter1 : 
  once:once ->
  depth:int ->
  filter:( ( 'a -> bool ) -> 's -> 's ) ->
  'a pred1 ->
  's ->
  Data.state ->
  Data.state * 's * Conversion.extra_goals

val filter2 : 
  once:once ->
  depth:int ->
  filter:( ( 'a -> 'b -> bool ) -> 's -> 's ) ->
  ( 'a, 'b ) pred2 ->
  's ->
  Data.state ->
  Data.state * 's * Conversion.extra_goals

val map1 : 
  once:once ->
  depth:int ->
  map:( ( 'a -> 'c ) -> 's -> 's ) ->
  ( 'a, 'c ) pred2 ->
  's ->
  Data.state ->
  Data.state * 's * Conversion.extra_goals

val map2 : 
  once:once ->
  depth:int ->
  map:( ( 'a -> 'b -> 'c ) -> 's -> 's ) ->
  ( 'a, 'b, 'c ) pred3 ->
  's ->
  Data.state ->
  Data.state * 's * Conversion.extra_goals