package OCanren
Legend:
Library
Module
Module type
Parameter
Class
Class type
type ('a, 'l) list =
| Nil
| Cons of 'a * 'l
class virtual ['ia, 'a, 'sa, 'il, 'l, 'sl, 'inh, 'extra, 'syn] list_t : object ... end
val gcata_list : < c_Nil : 'inh -> ( 'a, 'l ) list -> 'syn ; c_Cons : 'inh -> ( 'a, 'l ) list -> 'a -> 'l -> 'syn.. > -> 'inh -> ( 'a, 'l ) list -> 'syn
class ['a, 'l, 'extra_list] fmt_list_t : ( Format.formatter -> 'a -> unit ) -> ( Format.formatter -> 'l -> unit ) -> ( Format.formatter -> ( 'a, 'l ) list -> unit ) -> object ... end
val fmt_list : ( Format.formatter -> 'a -> unit ) -> ( Format.formatter -> 'l -> unit ) -> Format.formatter -> ( 'a, 'l ) list -> unit
class ['a, 'l, 'syn, 'extra_list] foldr_list_t : ( 'syn -> 'a -> 'syn ) -> ( 'syn -> 'l -> 'syn ) -> ( 'syn -> ( 'a, 'l ) list -> 'syn ) -> object ... end
val foldr_list : ( 'syn -> 'a -> 'syn ) -> ( 'syn -> 'l -> 'syn ) -> 'syn -> ( 'a, 'l ) list -> 'syn
class ['a, 'l, 'syn, 'extra_list] foldl_list_t : ( 'syn -> 'a -> 'syn ) -> ( 'syn -> 'l -> 'syn ) -> ( 'syn -> ( 'a, 'l ) list -> 'syn ) -> object ... end
val foldl_list : ( 'syn -> 'a -> 'syn ) -> ( 'syn -> 'l -> 'syn ) -> 'syn -> ( 'a, 'l ) list -> 'syn
class ['a, 'l, 'extra_list] compare_list_t : ( 'a -> 'a -> GT.comparison ) -> ( 'l -> 'l -> GT.comparison ) -> ( ( 'a, 'l ) list -> ( 'a, 'l ) list -> GT.comparison ) -> object ... end
val compare_list : ( 'a -> 'a -> GT.comparison ) -> ( 'l -> 'l -> GT.comparison ) -> ( 'a, 'l ) list -> ( 'a, 'l ) list -> GT.comparison
class ['a, 'l, 'extra_list] eq_list_t : ( 'a -> 'a -> bool ) -> ( 'l -> 'l -> bool ) -> ( ( 'a, 'l ) list -> ( 'a, 'l ) list -> bool ) -> object ... end
val eq_list : ( 'a -> 'a -> bool ) -> ( 'l -> 'l -> bool ) -> ( 'a, 'l ) list -> ( 'a, 'l ) list -> bool
class ['a, 'l, 'extra_list] html_list_t : ( unit -> 'a -> HTML.er ) -> ( unit -> 'l -> HTML.er ) -> ( unit -> ( 'a, 'l ) list -> HTML.er ) -> object ... end
val html_list : ( 'a -> HTML.er ) -> ( 'l -> HTML.er ) -> ( 'a, 'l ) list -> HTML.er
class ['a, 'a_2, 'l, 'l_2, 'extra_list, 'syn_list] gmap_list_t : ( unit -> 'a -> 'a_2 ) -> ( unit -> 'l -> 'l_2 ) -> ( unit -> ( 'a, 'l ) list -> ( 'a_2, 'l_2 ) list ) -> object ... end
val gmap_list : ( 'a -> 'a_2 ) -> ( 'l -> 'l_2 ) -> ( 'a, 'l ) list -> ( 'a_2, 'l_2 ) list
class ['a, 'l, 'extra_list] show_list_t : ( unit -> 'a -> string ) -> ( unit -> 'l -> string ) -> ( unit -> ( 'a, 'l ) list -> string ) -> object ... end
val show_list : ( 'a -> string ) -> ( 'l -> string ) -> ( 'a, 'l ) list -> string
type 'a logic'
class virtual ['ia, 'a, 'sa, 'inh, 'extra, 'syn] logic'_t : object ... end
val gcata_logic' : [ _, 'a, 'sa, 'inh, 'a logic', 'syn ] logic'_t -> 'inh -> 'a logic' -> 'syn
class ['a, 'extra_logic'] fmt_logic'_t : ( Format.formatter -> 'a -> unit ) -> ( Format.formatter -> 'a logic' -> unit ) -> object ... end
val fmt_logic' : ( Format.formatter -> 'a -> unit ) -> Format.formatter -> 'a logic' -> unit
class ['a, 'syn, 'extra_logic'] foldr_logic'_t : ( 'syn -> 'a -> 'syn ) -> ( 'syn -> 'a logic' -> 'syn ) -> object ... end
val foldr_logic' : ( 'syn -> 'a -> 'syn ) -> 'syn -> 'a logic' -> 'syn
class ['a, 'syn, 'extra_logic'] foldl_logic'_t : ( 'syn -> 'a -> 'syn ) -> ( 'syn -> 'a logic' -> 'syn ) -> object ... end
val foldl_logic' : ( 'syn -> 'a -> 'syn ) -> 'syn -> 'a logic' -> 'syn
class ['a, 'extra_logic'] compare_logic'_t : ( 'a -> 'a -> GT.comparison ) -> ( 'a logic' -> 'a logic' -> GT.comparison ) -> object ... end
val compare_logic' : ( 'a -> 'a -> GT.comparison ) -> 'a logic' -> 'a logic' -> GT.comparison
class ['a, 'extra_logic'] eq_logic'_t : ( 'a -> 'a -> bool ) -> ( 'a logic' -> 'a logic' -> bool ) -> object ... end
val eq_logic' : ( 'a -> 'a -> bool ) -> 'a logic' -> 'a logic' -> bool
class ['a, 'extra_logic'] html_logic'_t : ( unit -> 'a -> HTML.er ) -> ( unit -> 'a logic' -> HTML.er ) -> object ... end
val html_logic' : ( 'a -> HTML.er ) -> 'a logic' -> HTML.er
class ['a, 'a_2, 'extra_logic', 'syn_logic'] gmap_logic'_t : ( unit -> 'a -> 'a_2 ) -> ( unit -> 'a logic' -> 'a_2 logic' ) -> object ... end
val gmap_logic' : ( 'a -> 'a_2 ) -> 'a logic' -> 'a_2 logic'
class ['a, 'extra_logic'] show_logic'_t : ( unit -> 'a -> string ) -> ( unit -> 'a logic' -> string ) -> object ... end
val show_logic' : ( 'a -> string ) -> 'a logic' -> string
val logic' : ( [ _, 'a, 'sa, 'inh, 'a logic', 'syn ] logic'_t -> 'inh -> 'a logic' -> 'syn, < fmt : ( Format.formatter -> 'a -> unit ) -> Format.formatter -> 'a logic' -> unit ; foldr : ( 'syn -> 'a -> 'syn ) -> 'syn -> 'a logic' -> 'syn ; foldl : ( 'syn -> 'a -> 'syn ) -> 'syn -> 'a logic' -> 'syn ; compare : ( 'a -> 'a -> GT.comparison ) -> 'a logic' -> 'a logic' -> GT.comparison ; eq : ( 'a -> 'a -> bool ) -> 'a logic' -> 'a logic' -> bool ; html : ( 'a -> HTML.er ) -> 'a logic' -> HTML.er ; gmap : ( 'a -> 'a_2 ) -> 'a logic' -> 'a_2 logic' ; show : ( 'a -> string ) -> 'a logic' -> string >, ( ( 'inh2 -> 'a1 logic' -> 'syn3 ) -> [ 'a1_i, 'a1, 'a1_s, 'inh2, 'a1 logic', 'syn3 ] logic'_t ) -> 'inh2 -> 'a1 logic' -> 'syn3 ) GT.t
type ('a, 'l) t = ( 'a, 'l ) list
class virtual ['ia, 'a, 'sa, 'il, 'l, 'sl, 'inh, 'extra, 'syn] t_t : object ... end
val gcata_t : [ _, 'a, 'sa, _, 'l, 'sl, 'inh, ( 'a, 'l ) t, 'syn ] t_t -> 'inh -> ( 'a, 'l ) t -> 'syn
class ['a, 'l, 'extra_t] fmt_t_t : ( Format.formatter -> 'a -> unit ) -> ( Format.formatter -> 'l -> unit ) -> ( Format.formatter -> ( 'a, 'l ) t -> unit ) -> object ... end
val fmt_t : ( Format.formatter -> 'a -> unit ) -> ( Format.formatter -> 'l -> unit ) -> Format.formatter -> ( 'a, 'l ) t -> unit
class ['a, 'l, 'syn, 'extra_t] foldr_t_t : ( 'syn -> 'a -> 'syn ) -> ( 'syn -> 'l -> 'syn ) -> ( 'syn -> ( 'a, 'l ) t -> 'syn ) -> object ... end
val foldr_t : ( 'syn -> 'a -> 'syn ) -> ( 'syn -> 'l -> 'syn ) -> 'syn -> ( 'a, 'l ) t -> 'syn
class ['a, 'l, 'syn, 'extra_t] foldl_t_t : ( 'syn -> 'a -> 'syn ) -> ( 'syn -> 'l -> 'syn ) -> ( 'syn -> ( 'a, 'l ) t -> 'syn ) -> object ... end
val foldl_t : ( 'syn -> 'a -> 'syn ) -> ( 'syn -> 'l -> 'syn ) -> 'syn -> ( 'a, 'l ) t -> 'syn
class ['a, 'l, 'extra_t] compare_t_t : ( 'a -> 'a -> GT.comparison ) -> ( 'l -> 'l -> GT.comparison ) -> ( ( 'a, 'l ) t -> ( 'a, 'l ) t -> GT.comparison ) -> object ... end
val compare_t : ( 'a -> 'a -> GT.comparison ) -> ( 'l -> 'l -> GT.comparison ) -> ( 'a, 'l ) t -> ( 'a, 'l ) t -> GT.comparison
class ['a, 'l, 'extra_t] eq_t_t : ( 'a -> 'a -> bool ) -> ( 'l -> 'l -> bool ) -> ( ( 'a, 'l ) t -> ( 'a, 'l ) t -> bool ) -> object ... end
val eq_t : ( 'a -> 'a -> bool ) -> ( 'l -> 'l -> bool ) -> ( 'a, 'l ) t -> ( 'a, 'l ) t -> bool
class ['a, 'l, 'extra_t] html_t_t : ( unit -> 'a -> HTML.er ) -> ( unit -> 'l -> HTML.er ) -> ( unit -> ( 'a, 'l ) t -> HTML.er ) -> object ... end
val html_t : ( 'a -> HTML.er ) -> ( 'l -> HTML.er ) -> ( 'a, 'l ) t -> HTML.er
class ['a, 'a_2, 'l, 'l_2, 'extra_t, 'syn_t] gmap_t_t : ( unit -> 'a -> 'a_2 ) -> ( unit -> 'l -> 'l_2 ) -> ( unit -> ( 'a, 'l ) t -> ( 'a_2, 'l_2 ) t ) -> object ... end
val gmap_t : ( 'a -> 'a_2 ) -> ( 'l -> 'l_2 ) -> ( 'a, 'l ) t -> ( 'a_2, 'l_2 ) t
class ['a, 'l, 'extra_t] show_t_t : ( unit -> 'a -> string ) -> ( unit -> 'l -> string ) -> ( unit -> ( 'a, 'l ) t -> string ) -> object ... end
val show_t : ( 'a -> string ) -> ( 'l -> string ) -> ( 'a, 'l ) t -> string
val t : ( [ _, 'a, 'sa, _, 'l, 'sl, 'inh, ( 'a, 'l ) t, 'syn ] t_t -> 'inh -> ( 'a, 'l ) t -> 'syn, < fmt : ( Format.formatter -> 'a -> unit ) -> ( Format.formatter -> 'l -> unit ) -> Format.formatter -> ( 'a, 'l ) t -> unit ; foldr : ( 'syn -> 'a -> 'syn ) -> ( 'syn -> 'l -> 'syn ) -> 'syn -> ( 'a, 'l ) t -> 'syn ; foldl : ( 'syn -> 'a -> 'syn ) -> ( 'syn -> 'l -> 'syn ) -> 'syn -> ( 'a, 'l ) t -> 'syn ; compare : ( 'a -> 'a -> GT.comparison ) -> ( 'l -> 'l -> GT.comparison ) -> ( 'a, 'l ) t -> ( 'a, 'l ) t -> GT.comparison ; eq : ( 'a -> 'a -> bool ) -> ( 'l -> 'l -> bool ) -> ( 'a, 'l ) t -> ( 'a, 'l ) t -> bool ; html : ( 'a -> HTML.er ) -> ( 'l -> HTML.er ) -> ( 'a, 'l ) t -> HTML.er ; gmap : ( 'a -> 'a_2 ) -> ( 'l -> 'l_2 ) -> ( 'a, 'l ) t -> ( 'a_2, 'l_2 ) t ; show : ( 'a -> string ) -> ( 'l -> string ) -> ( 'a, 'l ) t -> string >, ( ( 'inh3 -> ( 'a1, 'a2 ) t -> 'syn4 ) -> [ 'a1_i, 'a1, 'a1_s, 'a2_i, 'a2, 'a2_s, 'inh3, ( 'a1, 'a2 ) t, 'syn4 ] t_t ) -> 'inh3 -> ( 'a1, 'a2 ) t -> 'syn4 ) GT.t
type 'a ground = ( 'a, 'a ground ) t
class virtual ['ia, 'a, 'sa, 'inh, 'extra, 'syn] ground_t : object ... end
val gcata_ground : [ _, 'a, 'sa, 'inh, 'a ground, 'syn ] ground_t -> 'inh -> 'a ground -> 'syn
class ['a, 'extra_ground] fmt_ground_t : ( Format.formatter -> 'a -> unit ) -> ( Format.formatter -> 'a ground -> unit ) -> object ... end
val fmt_ground : ( Format.formatter -> 'a -> unit ) -> Format.formatter -> 'a ground -> unit
class ['a, 'syn, 'extra_ground] foldr_ground_t : ( 'syn -> 'a -> 'syn ) -> ( 'syn -> 'a ground -> 'syn ) -> object ... end
val foldr_ground : ( 'syn -> 'a -> 'syn ) -> 'syn -> 'a ground -> 'syn
class ['a, 'syn, 'extra_ground] foldl_ground_t : ( 'syn -> 'a -> 'syn ) -> ( 'syn -> 'a ground -> 'syn ) -> object ... end
val foldl_ground : ( 'syn -> 'a -> 'syn ) -> 'syn -> 'a ground -> 'syn
class ['a, 'extra_ground] compare_ground_t : ( 'a -> 'a -> GT.comparison ) -> ( 'a ground -> 'a ground -> GT.comparison ) -> object ... end
val compare_ground : ( 'a -> 'a -> GT.comparison ) -> 'a ground -> 'a ground -> GT.comparison
class ['a, 'extra_ground] eq_ground_t : ( 'a -> 'a -> bool ) -> ( 'a ground -> 'a ground -> bool ) -> object ... end
val eq_ground : ( 'a -> 'a -> bool ) -> 'a ground -> 'a ground -> bool
class ['a, 'extra_ground] html_ground_t : ( unit -> 'a -> HTML.er ) -> ( unit -> 'a ground -> HTML.er ) -> object ... end
val html_ground : ( 'a -> HTML.er ) -> 'a ground -> HTML.er
class ['a, 'a_2, 'extra_ground, 'syn_ground] gmap_ground_t : ( unit -> 'a -> 'a_2 ) -> ( unit -> 'a ground -> 'a_2 ground ) -> object ... end
val gmap_ground : ( 'a -> 'a_2 ) -> 'a ground -> 'a_2 ground
class ['a, 'extra_ground] show_ground_t : ( unit -> 'a -> string ) -> ( unit -> 'a ground -> string ) -> object ... end
val show_ground : ( 'a -> string ) -> 'a ground -> string
val ground : ( [ _, 'a, 'sa, 'inh, 'a ground, 'syn ] ground_t -> 'inh -> 'a ground -> 'syn, < fmt : ( Format.formatter -> 'a -> unit ) -> Format.formatter -> 'a ground -> unit ; foldr : ( 'syn -> 'a -> 'syn ) -> 'syn -> 'a ground -> 'syn ; foldl : ( 'syn -> 'a -> 'syn ) -> 'syn -> 'a ground -> 'syn ; compare : ( 'a -> 'a -> GT.comparison ) -> 'a ground -> 'a ground -> GT.comparison ; eq : ( 'a -> 'a -> bool ) -> 'a ground -> 'a ground -> bool ; html : ( 'a -> HTML.er ) -> 'a ground -> HTML.er ; gmap : ( 'a -> 'a_2 ) -> 'a ground -> 'a_2 ground ; show : ( 'a -> string ) -> 'a ground -> string >, ( ( 'inh2 -> 'a1 ground -> 'syn3 ) -> [ 'a1_i, 'a1, 'a1_s, 'inh2, 'a1 ground, 'syn3 ] ground_t ) -> 'inh2 -> 'a1 ground -> 'syn3 ) GT.t
type 'a logic = ( 'a, 'a logic ) t logic'
class virtual ['ia, 'a, 'sa, 'inh, 'extra, 'syn] logic_t : object ... end
val gcata_logic : [ _, 'a, 'sa, 'inh, 'a logic, 'syn ] logic_t -> 'inh -> 'a logic -> 'syn
class ['a, 'extra_logic] fmt_logic_t : ( Format.formatter -> 'a -> unit ) -> ( Format.formatter -> 'a logic -> unit ) -> object ... end
val fmt_logic : ( Format.formatter -> 'a -> unit ) -> Format.formatter -> 'a logic -> unit
class ['a, 'syn, 'extra_logic] foldr_logic_t : ( 'syn -> 'a -> 'syn ) -> ( 'syn -> 'a logic -> 'syn ) -> object ... end
val foldr_logic : ( 'syn -> 'a -> 'syn ) -> 'syn -> 'a logic -> 'syn
class ['a, 'syn, 'extra_logic] foldl_logic_t : ( 'syn -> 'a -> 'syn ) -> ( 'syn -> 'a logic -> 'syn ) -> object ... end
val foldl_logic : ( 'syn -> 'a -> 'syn ) -> 'syn -> 'a logic -> 'syn
class ['a, 'extra_logic] compare_logic_t : ( 'a -> 'a -> GT.comparison ) -> ( 'a logic -> 'a logic -> GT.comparison ) -> object ... end
val compare_logic : ( 'a -> 'a -> GT.comparison ) -> 'a logic -> 'a logic -> GT.comparison
class ['a, 'extra_logic] eq_logic_t : ( 'a -> 'a -> bool ) -> ( 'a logic -> 'a logic -> bool ) -> object ... end
val eq_logic : ( 'a -> 'a -> bool ) -> 'a logic -> 'a logic -> bool
class ['a, 'extra_logic] html_logic_t : ( unit -> 'a -> HTML.er ) -> ( unit -> 'a logic -> HTML.er ) -> object ... end
val html_logic : ( 'a -> HTML.er ) -> 'a logic -> HTML.er
class ['a, 'a_2, 'extra_logic, 'syn_logic] gmap_logic_t : ( unit -> 'a -> 'a_2 ) -> ( unit -> 'a logic -> 'a_2 logic ) -> object ... end
val gmap_logic : ( 'a -> 'a_2 ) -> 'a logic -> 'a_2 logic
class ['a, 'extra_logic] show_logic_t : ( unit -> 'a -> string ) -> ( unit -> 'a logic -> string ) -> object ... end
val show_logic : ( 'a -> string ) -> 'a logic -> string
val logic : ( [ _, 'a, 'sa, 'inh, 'a logic, 'syn ] logic_t -> 'inh -> 'a logic -> 'syn, < fmt : ( Format.formatter -> 'a -> unit ) -> Format.formatter -> 'a logic -> unit ; foldr : ( 'syn -> 'a -> 'syn ) -> 'syn -> 'a logic -> 'syn ; foldl : ( 'syn -> 'a -> 'syn ) -> 'syn -> 'a logic -> 'syn ; compare : ( 'a -> 'a -> GT.comparison ) -> 'a logic -> 'a logic -> GT.comparison ; eq : ( 'a -> 'a -> bool ) -> 'a logic -> 'a logic -> bool ; html : ( 'a -> HTML.er ) -> 'a logic -> HTML.er ; gmap : ( 'a -> 'a_2 ) -> 'a logic -> 'a_2 logic ; show : ( 'a -> string ) -> 'a logic -> string >, ( ( 'inh2 -> 'a1 logic -> 'syn3 ) -> [ 'a1_i, 'a1, 'a1_s, 'inh2, 'a1 logic, 'syn3 ] logic_t ) -> 'inh2 -> 'a1 logic -> 'syn3 ) GT.t
type 'a groundi
type 'a injected = 'a groundi
val nil : unit -> 'a groundi
val cons : 'a -> 'a groundi -> 'a groundi
val (%) : 'a -> 'a groundi -> 'a groundi
val (%<) : 'a -> 'a -> 'a groundi
val (!<) : 'a -> 'a groundi
val of_list : ( 'a -> 'b ) -> 'a GT.list -> 'b ground
val to_list : ( 'a -> 'b ) -> 'a ground -> 'b GT.list
val inj : ( 'a -> 'b ) -> 'a ground -> 'b logic
val list : 'a GT.list -> 'a groundi
val reify : ( 'a -> 'b ) Env.Monad.t -> ( 'a groundi -> 'b logic ) Env.Monad.t
val prj_exn : ( 'a -> 'b ) Env.Monad.t -> ( 'a groundi -> 'b ground ) Env.Monad.t
val prj : ( int -> 'b ground ) -> ( 'a -> 'b ) Env.Monad.t -> ( 'a groundi -> 'b ground ) Env.Monad.t
val foldro : ( 'x OCanren__Logic.ilogic as 'a -> 'acc OCanren__Logic.ilogic -> 'acc OCanren__Logic.ilogic -> OCanren__Core.State.t Stream.t OCanren__Core.goal' ) -> 'acc OCanren__Logic.ilogic -> 'a groundi -> 'acc OCanren__Logic.ilogic -> OCanren__Core.State.t Stream.t OCanren__Core.goal'
val mapo : ( 'x OCanren__Logic.ilogic as 'a -> 'y OCanren__Logic.ilogic as 'b -> OCanren__Core.State.t Stream.t OCanren__Core.goal' ) -> 'a groundi -> 'b groundi -> OCanren__Core.State.t Stream.t OCanren__Core.goal'
val filtero : ( 'x OCanren__Logic.ilogic as 'a -> GT.bool OCanren__Logic.ilogic -> OCanren__Core.State.t Stream.t OCanren__Core.goal' ) -> 'a groundi -> 'a groundi -> OCanren__Core.State.t Stream.t OCanren__Core.goal'
val lookupo : ( 'x OCanren__Logic.ilogic as 'a -> GT.bool OCanren__Logic.ilogic -> OCanren__Core.State.t Stream.t OCanren__Core.goal' ) -> 'a groundi -> 'a GT.option OCanren__Logic.ilogic -> OCanren__Core.State.t Stream.t OCanren__Core.goal'
val assoco : 'a OCanren__Logic.ilogic -> ('a OCanren__Logic.ilogic * 'c OCanren__Logic.ilogic) OCanren__Logic.ilogic groundi -> 'c OCanren__Logic.ilogic -> OCanren__Core.State.t Stream.t OCanren__Core.goal'
val anyo : GT.bool OCanren__Logic.ilogic groundi -> GT.bool OCanren__Logic.ilogic -> OCanren__Core.State.t Stream.t OCanren__Core.goal'
val allo : GT.bool OCanren__Logic.ilogic groundi -> GT.bool OCanren__Logic.ilogic -> OCanren__Core.State.t Stream.t OCanren__Core.goal'
val lengtho : 'a OCanren__Logic.ilogic groundi -> OCanren__Nat.groundi -> OCanren__Core.State.t Stream.t OCanren__Core.goal'
val appendo : _ OCanren__Logic.ilogic as 'a groundi -> 'a groundi -> 'a groundi -> OCanren__Core.State.t Stream.t OCanren__Core.goal'
val reverso : _ OCanren__Logic.ilogic as 'a groundi -> 'a groundi -> OCanren__Core.State.t Stream.t OCanren__Core.goal'
val membero : 'a OCanren__Logic.ilogic groundi -> 'a OCanren__Logic.ilogic -> OCanren__Core.State.t Stream.t OCanren__Core.goal'
val nullo : _ groundi -> OCanren__Core.State.t Stream.t OCanren__Core.goal'
val caro : 'a groundi -> 'a -> OCanren__Core.State.t Stream.t OCanren__Core.goal'
val hdo : 'a groundi -> 'a -> OCanren__Core.State.t Stream.t OCanren__Core.goal'
val cdro : 'a OCanren__Logic.ilogic groundi -> 'a OCanren__Logic.ilogic groundi -> OCanren__Core.State.t Stream.t OCanren__Core.goal'
val tlo : 'a OCanren__Logic.ilogic groundi -> 'a OCanren__Logic.ilogic groundi -> OCanren__Core.State.t Stream.t OCanren__Core.goal'