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 T.t -> ('a T.t, 'b T.t) OCanren__.Logic.injected
val reify : (Env.t -> ('a, 'b) OCanren__.Logic.injected -> 'b) -> Env.t -> ('a T.t, 'b T.t OCanren__.Logic.logic as 'r) OCanren__.Logic.injected -> 'r
val prjc : (Env.t -> ('a, 'b) OCanren__.Logic.injected -> 'a) -> (int -> 'r list -> 'a T.t as 'r) -> Env.t -> ('r, 'b T.t OCanren__.Logic.logic) OCanren__.Logic.injected -> 'r