package OCanren
Legend:
Library
Module
Module type
Parameter
Class
Class type
type ('a, 'c, 'e, 'f, 'g) one = unit -> ( ( 'a OCanren__Logic.ilogic -> goal ) -> State.t -> 'a OCanren__Logic.ilogic * State.t Stream.t ) * ( 'c OCanren__Logic.ilogic -> Env.t -> 'c OCanren__Logic.reified ) * ( 'e -> 'e ) * ( ( 'f -> 'g ) -> 'f -> 'g )
type ('a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i, 'j) two = unit -> ( ( 'a OCanren__Logic.ilogic -> 'b OCanren__Logic.ilogic -> goal ) -> State.t -> 'a OCanren__Logic.ilogic * ('b OCanren__Logic.ilogic * State.t Stream.t) ) * ( ('c OCanren__Logic.ilogic * 'd OCanren__Logic.ilogic) -> Env.t -> 'c OCanren__Logic.reified * 'd OCanren__Logic.reified ) * ( ('e * ('f * 'g)) -> ('e * 'f) * 'g ) * ( ( 'h -> 'i -> 'j ) -> ('h * 'i) -> 'j )
type ('a, 'c, 'e, 'g, 'i, 'k, 'm, 'n, 'o, 'p, 'q, 'r, 's, 't) three = unit -> ( ( 'a OCanren__Logic.ilogic -> 'c OCanren__Logic.ilogic -> 'e OCanren__Logic.ilogic -> goal ) -> State.t -> 'a OCanren__Logic.ilogic * ('c OCanren__Logic.ilogic * ('e OCanren__Logic.ilogic * State.t Stream.t)) ) * ( ('g OCanren__Logic.ilogic * ('i OCanren__Logic.ilogic * 'k OCanren__Logic.ilogic)) -> Env.t -> 'g OCanren__Logic.reified * ('i OCanren__Logic.reified * 'k OCanren__Logic.reified) ) * ( ('m * ('n * ('o * 'p))) -> ('m * ('n * 'o)) * 'p ) * ( ( 'q -> 'r -> 's -> 't ) -> ('q * ('r * 's)) -> 't )
type ('a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i, 'j, 'k, 'l, 'm, 'n, 'o, 'p, 'q, 'r) four = unit -> ( ( 'a OCanren__Logic.ilogic -> 'b OCanren__Logic.ilogic -> 'c OCanren__Logic.ilogic -> 'd OCanren__Logic.ilogic -> goal ) -> State.t -> 'a OCanren__Logic.ilogic * ('b OCanren__Logic.ilogic * ('c OCanren__Logic.ilogic * ('d OCanren__Logic.ilogic * State.t Stream.t))) ) * ( ('e OCanren__Logic.ilogic * ('f OCanren__Logic.ilogic * ('g OCanren__Logic.ilogic * 'h OCanren__Logic.ilogic))) -> Env.t -> 'e OCanren__Logic.reified * ('f OCanren__Logic.reified * ('g OCanren__Logic.reified * 'h OCanren__Logic.reified)) ) * ( ('i * ('j * ('k * ('l * 'm)))) -> ('i * ('j * ('k * 'l))) * 'm ) * ( ( 'n -> 'o -> 'p -> 'q -> 'r ) -> ('n * ('o * ('p * 'q))) -> 'r )