1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
package OCanren
-
OCanren
-
-
pa_ocanren
-
tester
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type ('a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i, 'j) two =
unit ->
( ( 'a OCanren__Logic.ilogic -> 'b OCanren__Logic.ilogic -> goal ) ->
State.t ->
'a OCanren__Logic.ilogic * ('b OCanren__Logic.ilogic * State.t Stream.t) )
* ( ('c OCanren__Logic.ilogic * 'd OCanren__Logic.ilogic) ->
Env.t ->
'c OCanren__Logic.reified * 'd OCanren__Logic.reified )
* ( ('e * ('f * 'g)) ->
('e * 'f) * 'g )
* ( ( 'h -> 'i -> 'j ) ->
('h * 'i) ->
'j )
type ('a, 'c, 'e, 'g, 'i, 'k, 'm, 'n, 'o, 'p, 'q, 'r, 's, 't) three =
unit ->
( ( 'a OCanren__Logic.ilogic ->
'c OCanren__Logic.ilogic ->
'e OCanren__Logic.ilogic ->
goal ) ->
State.t ->
'a OCanren__Logic.ilogic
* ('c OCanren__Logic.ilogic * ('e OCanren__Logic.ilogic * State.t Stream.t)) )
* ( ('g OCanren__Logic.ilogic
* ('i OCanren__Logic.ilogic * 'k OCanren__Logic.ilogic)) ->
Env.t ->
'g OCanren__Logic.reified
* ('i OCanren__Logic.reified * 'k OCanren__Logic.reified) )
* ( ('m * ('n * ('o * 'p))) ->
('m * ('n * 'o)) * 'p )
* ( ( 'q -> 'r -> 's -> 't ) ->
('q * ('r * 's)) ->
't )
type ('a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i, 'j, 'k, 'l, 'm, 'n, 'o, 'p, 'q, 'r)
four =
unit ->
( ( 'a OCanren__Logic.ilogic ->
'b OCanren__Logic.ilogic ->
'c OCanren__Logic.ilogic ->
'd OCanren__Logic.ilogic ->
goal ) ->
State.t ->
'a OCanren__Logic.ilogic
* ('b OCanren__Logic.ilogic
* ('c OCanren__Logic.ilogic
* ('d OCanren__Logic.ilogic * State.t Stream.t))) )
* ( ('e OCanren__Logic.ilogic
* ('f OCanren__Logic.ilogic
* ('g OCanren__Logic.ilogic * 'h OCanren__Logic.ilogic))) ->
Env.t ->
'e OCanren__Logic.reified
* ('f OCanren__Logic.reified
* ('g OCanren__Logic.reified * 'h OCanren__Logic.reified)) )
* ( ('i * ('j * ('k * ('l * 'm)))) ->
('i * ('j * ('k * 'l))) * 'm )
* ( ( 'n -> 'o -> 'p -> 'q -> 'r ) ->
('n * ('o * ('p * 'q))) ->
'r )