To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
On This Page
package OCanren
-
OCanren
-
-
pa_ocanren
-
tester
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Parameters
module T : sig ... endSignature
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 ->
(('a, 'c, 'e, 'g, 'i) T.t,
('b, 'd, 'f, 'h, 'j) T.t OCanren__.Logic.logic as 'r)
OCanren__.Logic.injected ->
'rval 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) ->
(int -> 'r list -> 'r) ->
Env.t ->
('r, ('b, 'd, 'f, 'h, 'j) T.t OCanren__.Logic.logic) OCanren__.Logic.injected ->
('a, 'c, 'e, 'g, 'i) T.t as 'rOn This Page