elpi

ELPI - Embeddable λProlog Interpreter
package elpi
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library elpi
Module type Elpi . API . Utils . Show1
type 'a t
val pp : ( Format.formatter -> 'a -> unit ) -> Format.formatter -> 'a t -> unit
val show : ( Format.formatter -> 'a -> unit ) -> 'a t -> string