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
module Pair : sig ... endmodule Option : sig ... endmodule Bool : sig ... endmodule Nat : sig ... endmodule List : sig ... endval eqo :
'a OCanren__.Logic.ilogic ->
'a OCanren__.Logic.ilogic ->
Bool.ground OCanren__.Logic.ilogic ->
goalval neqo :
'a OCanren__.Logic.ilogic ->
'a OCanren__.Logic.ilogic ->
Bool.ground OCanren__.Logic.ilogic ->
goalval nat : int -> Nat.groundival (%) : 'a -> 'a List.groundi -> 'a List.groundival (%<) : 'a -> 'a -> 'a List.groundival (!<) : 'a -> 'a List.groundival nil : unit -> 'a List.groundival list : ('a -> 'b) -> 'c list -> 'd List.groundival nat_list : int list -> Nat.groundi List.groundival some : 'a -> 'a Option.groundival none : unit -> 'a Option.groundival pair :
'a OCanren__.Logic.ilogic ->
'b OCanren__.Logic.ilogic ->
('a OCanren__.Logic.ilogic, 'b OCanren__.Logic.ilogic) Pair.groundival structural :
'a ->
('a -> 'b) Env.Monad.t ->
('b -> bool) ->
OCanren__.Core.State.t Stream.t OCanren__.Core.goal'