package OCanren

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module T : sig ... end

Signature

val distrib : (('a, 'b) OCanren__.Logic.injected, ('c, 'd) OCanren__.Logic.injected, ('e, 'f) OCanren__.Logic.injected, ('g, 'h) OCanren__.Logic.injected) T.t -> (('a, 'c, 'e, 'g) T.t, ('b, 'd, 'f, 'h) 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 -> ('e, 'f) OCanren__.Logic.injected -> 'f) -> (Env.t -> ('g, 'h) OCanren__.Logic.injected -> 'h) -> Env.t -> (('a, 'c, 'e, 'g) T.t, ('b, 'd, 'f, 'h) 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) -> (Env.t -> ('e, 'f) OCanren__.Logic.injected -> 'e) -> (Env.t -> ('g, 'h) OCanren__.Logic.injected -> 'g) -> (int -> 'r list -> 'r) -> Env.t -> ('r, ('b, 'd, 'f, 'h) T.t OCanren__.Logic.logic) OCanren__.Logic.injected -> ('a, 'c, 'e, 'g) T.t as 'r
OCaml

Innovation. Community. Security.