elpi

ELPI - Embeddable λProlog Interpreter
Library elpi.parser
Module Elpi_parser . Ast
module Loc = Elpi_util.Util.Loc
module Func : sig ... end
module Term : sig ... end
type raw_attribute =
| If of string
| Name of string
| After of string
| Before of string
| External
| Index of int list
val show_raw_attribute : raw_attribute -> Ppx_deriving_runtime.string
module Clause : sig ... end
module Chr : sig ... end
module Macro : sig ... end
module Type : sig ... end
module Mode : sig ... end
module TypeAbbreviation : sig ... end
module Program : sig ... end
module Goal : sig ... end
val cfloat : float Elpi_util.Util.CData.cdata
val cstring : string Elpi_util.Util.CData.cdata
module Structured : sig ... end