elpi

ELPI - Embeddable λProlog Interpreter
package elpi
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library elpi.util
Module type Elpi_util . Util . Show2
type ('a, 'b) t
val pp : ( Format.formatter -> 'a -> unit ) -> ( Format.formatter -> 'b -> unit ) -> Format.formatter -> ( 'a, 'b ) t -> unit
val show : ( Format.formatter -> 'a -> unit ) -> ( Format.formatter -> 'b -> unit ) -> ( 'a, 'b ) t -> string