OCanren
  1. Overview
  2. Docs
package OCanren
Legend:
Library
Module
Module type
Parameter
Class
Class type
type ('a, 'c, 'e, 'f, 'g) one = unit -> (('a OCanren__.Logic.ilogic -> OCanren__.Core.State.t Stream.t OCanren__.Core.goal') -> OCanren__.Core.State.t -> 'a OCanren__.Logic.ilogic * OCanren__.Core.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 -> OCanren__.Core.State.t Stream.t OCanren__.Core.goal') -> OCanren__.Core.State.t -> 'a OCanren__.Logic.ilogic * ('b OCanren__.Logic.ilogic * OCanren__.Core.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 -> OCanren__.Core.State.t Stream.t OCanren__.Core.goal') -> OCanren__.Core.State.t -> 'a OCanren__.Logic.ilogic * ('c OCanren__.Logic.ilogic * ('e OCanren__.Logic.ilogic * OCanren__.Core.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 -> OCanren__.Core.State.t Stream.t OCanren__.Core.goal') -> OCanren__.Core.State.t -> 'a OCanren__.Logic.ilogic * ('b OCanren__.Logic.ilogic * ('c OCanren__.Logic.ilogic * ('d OCanren__.Logic.ilogic * OCanren__.Core.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)