package OCanren

You can search for identifiers within the package.

in-package search v0.2.0

Implementation of miniKanren relational (logic) EDSL

Install

sha256=eaf9624bbdbae8050eb43a48c0e79e97160b83b6f65a543ee1beca4c9f4ff4b2

sha512=e55dd7a3026b1dedcd37f55181059dfa44ad6976d241a1199246ee3c1684dcfdf1ae0c1da32165b5b2eb5748cfc57c906a0f0ebab56d03035a5bb87187a63cf7

type t

val empty : unit -> t

val create : anchor:int -> t

val fresh : scope:OCanren__.Term.Var.scope -> t -> 'a

val check : t -> OCanren__.Term.Var.t -> bool

val check_exn : t -> OCanren__.Term.Var.t -> unit

val is_var : t -> 'a -> bool

val var : t -> 'a -> OCanren__.Term.Var.t option

val freevars : t -> 'a -> OCanren__.Term.VarSet.t

val is_open : t -> 'a -> bool

val equal : t -> t -> bool

module Monad : sig ... end

type 'a m = 'a Monad.t