package OCanren

  1. Overview
  2. Docs
package OCanren
Legend:
Library
Module
Module type
Parameter
Class
Class type
val succ : (unit -> (('a -> 'b) -> 'c) * ('d -> 'e -> 'f)) -> unit -> ((('g OCanren__.Logic.ilogic * 'a) -> 'b) -> 'g OCanren__.Logic.ilogic -> 'c) * (('i -> 'd) -> ('i * 'e) -> 'f)
val one : unit -> (('a OCanren__.Logic.ilogic -> 'c) -> 'a OCanren__.Logic.ilogic -> 'c) * (('d -> 'e) -> 'd -> 'e)
val two : unit -> ((('a OCanren__.Logic.ilogic * 'c OCanren__.Logic.ilogic) -> 'e) -> 'a OCanren__.Logic.ilogic -> 'c OCanren__.Logic.ilogic -> 'e) * (('f -> 'g -> 'h) -> ('f * 'g) -> 'h)
val three : unit -> ((('a OCanren__.Logic.ilogic * ('c OCanren__.Logic.ilogic * 'e OCanren__.Logic.ilogic)) -> 'g) -> 'a OCanren__.Logic.ilogic -> 'c OCanren__.Logic.ilogic -> 'e OCanren__.Logic.ilogic -> 'g) * (('h -> 'i -> 'j -> 'k) -> ('h * ('i * 'j)) -> 'k)
val four : unit -> ((('a OCanren__.Logic.ilogic * ('c OCanren__.Logic.ilogic * ('e OCanren__.Logic.ilogic * 'g OCanren__.Logic.ilogic))) -> 'i) -> 'a OCanren__.Logic.ilogic -> 'c OCanren__.Logic.ilogic -> 'e OCanren__.Logic.ilogic -> 'g OCanren__.Logic.ilogic -> 'i) * (('j -> 'k -> 'l -> 'm -> 'n) -> ('j * ('k * ('l * 'm))) -> 'n)
val five : unit -> ((('a OCanren__.Logic.ilogic * ('c OCanren__.Logic.ilogic * ('e OCanren__.Logic.ilogic * ('g OCanren__.Logic.ilogic * 'i OCanren__.Logic.ilogic)))) -> 'k) -> 'a OCanren__.Logic.ilogic -> 'c OCanren__.Logic.ilogic -> 'e OCanren__.Logic.ilogic -> 'g OCanren__.Logic.ilogic -> 'i OCanren__.Logic.ilogic -> 'k) * (('l -> 'm -> 'n -> 'o -> 'p -> 'q) -> ('l * ('m * ('n * ('o * 'p)))) -> 'q)
val tabled : (unit -> (('a -> OCanren__.Core.State.t Stream.t OCanren__.Core.goal') -> 'b) * ('c -> 'a -> OCanren__.Core.State.t Stream.t OCanren__.Core.goal')) -> 'c -> 'b
val tabledrec : (unit -> (('a -> OCanren__.Core.State.t Stream.t OCanren__.Core.goal') -> 'b -> 'c) * ('d -> 'a -> OCanren__.Core.State.t Stream.t OCanren__.Core.goal')) -> (('b -> 'c) -> 'd) -> 'b -> 'c