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) T.t -> (('a, 'c, 'e) T.t, ('b, 'd, 'f) 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 -> (('a, 'c, 'e) T.t, ('b, 'd, 'f) 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) -> (int -> 'r list -> 'r) -> Env.t -> (('a, 'c, 'e) T.t as 'r, ('b, 'd, 'f) T.t OCanren__.Logic.logic) OCanren__.Logic.injected -> 'r