elpi

ELPI - Embeddable λProlog Interpreter
package elpi
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library elpi
Module Elpi . API . Data
module StrMap : sig ... end
type term
type constraints
type state
type pretty_printer_context
type 'a solution = {
assignments : term StrMap.t;
constraints : constraints;
state : state;
output : 'a;
pp_ctx : pretty_printer_context;
}
type hyp
type hyps = hyp list