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