To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
package OCanren
-
OCanren
-
-
pa_ocanren
-
tester
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val three :
unit ->
(((('a, 'b) OCanren__.Logic.injected
* (('c, 'd) OCanren__.Logic.injected * ('e, 'f) OCanren__.Logic.injected)) ->
'g) ->
('a, 'b) OCanren__.Logic.injected ->
('c, 'd) OCanren__.Logic.injected ->
('e, 'f) OCanren__.Logic.injected ->
'g)
* (('h -> 'i -> 'j -> 'k) ->
('h * ('i * 'j)) ->
'k)val four :
unit ->
(((('a, 'b) OCanren__.Logic.injected
* (('c, 'd) OCanren__.Logic.injected
* (('e, 'f) OCanren__.Logic.injected
* ('g, 'h) OCanren__.Logic.injected))) ->
'i) ->
('a, 'b) OCanren__.Logic.injected ->
('c, 'd) OCanren__.Logic.injected ->
('e, 'f) OCanren__.Logic.injected ->
('g, 'h) OCanren__.Logic.injected ->
'i)
* (('j -> 'k -> 'l -> 'm -> 'n) ->
('j * ('k * ('l * 'm))) ->
'n)val five :
unit ->
(((('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) ->
('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 -> 'm -> 'n -> 'o -> 'p -> 'q) ->
('l * ('m * ('n * ('o * 'p)))) ->
'q)