package OCanren

  1. Overview
  2. Docs
package OCanren
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module T : sig ... end

Signature

val distrib : (('a, 'b) OCanren__.Logic.injected, ('c, 'd) OCanren__.Logic.injected, ('e, 'f) OCanren__.Logic.injected, ('g, 'h) OCanren__.Logic.injected, ('i, 'j) OCanren__.Logic.injected, ('k, 'l) OCanren__.Logic.injected) T.t -> (('a, 'c, 'e, 'g, 'i, 'k) T.t, ('b, 'd, 'f, 'h, 'j, 'l) T.t) OCanren__.Logic.injected
val reify : (Env.t -> ('a, 'b) OCanren__.Logic.injected -> 'b) -> (Env.t -> ('c, 'd) OCanren__.Logic.injected -> 'd) -> (Env.t -> ('e, 'f) OCanren__.Logic.injected -> 'f) -> (Env.t -> ('g, 'h) OCanren__.Logic.injected -> 'h) -> (Env.t -> ('i, 'j) OCanren__.Logic.injected -> 'j) -> (Env.t -> ('k, 'l) OCanren__.Logic.injected -> 'l) -> Env.t -> (('a, 'c, 'e, 'g, 'i, 'k) T.t, ('b, 'd, 'f, 'h, 'j, 'l) T.t OCanren__.Logic.logic as 'r) OCanren__.Logic.injected -> 'r
val prjc : (Env.t -> ('a, 'b) OCanren__.Logic.injected -> 'a) -> (Env.t -> ('c, 'd) OCanren__.Logic.injected -> 'c) -> (Env.t -> ('e, 'f) OCanren__.Logic.injected -> 'e) -> (Env.t -> ('g, 'h) OCanren__.Logic.injected -> 'g) -> (Env.t -> ('i, 'j) OCanren__.Logic.injected -> 'i) -> (Env.t -> ('k, 'l) OCanren__.Logic.injected -> 'k) -> (int -> 'r list -> 'r) -> Env.t -> ('r, ('b, 'd, 'f, 'h, 'j, 'l) T.t OCanren__.Logic.logic) OCanren__.Logic.injected -> ('a, 'c, 'e, 'g, 'i, 'k) T.t as 'r