logical

Logical is a minimalistic logic programming inspired by microKanren
IN THIS PACKAGE
Module Logical . Goal
val equal : Type.t -> Type.t -> Type.goal
val either : Type.goal -> Type.goal -> Type.goal
val either_multi : Type.goal list -> Type.goal
val both : Type.goal -> Type.goal -> Type.goal
val both_multi : Type.goal list -> Type.goal