logical

Logical is a minimalistic logic programming inspired by microKanren
IN THIS PACKAGE
Module Logical . Value
val int : int -> Type.t
val float : float -> Type.t
val str : string -> Type.t
val bool : bool -> Type.t
val to_string : Type.t -> string