package elpi

  1. Overview
  2. Docs
ELPI - Embeddable λProlog Interpreter

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (16)

Authors

  1. C
    Claudio Sacerdoti Coen
  2. E
    Enrico Tassi

Maintainers

  1. E
    Enrico Tassi <enrico.tassi@inria.fr>

Sources

elpi-2.0.6.tbz
sha256=b515185d0674557ae3219059d6c91dce2794b30c38ad23447b98a4fa22a99375
sha512=48490035f8dc103de9c0f2bf4e3a3ea6db2bda8670efe87bc2402a3b47e5c510452a5ae406be65a83fe16dd410c374894142bbee477681e50fc0dde4b8153d3c

doc/elpi.compiler/Elpi_compiler/Compiler_data/ScopedTerm/SimpleTerm/index.html

Module ScopedTerm.SimpleTermSource

Sourcetype t_ =
  1. | Impl of bool * t * t
  2. | Const of Scope.t * F.t
  3. | Discard
  4. | Var of F.t * t list
  5. | App of Scope.t * F.t * t * t list
  6. | Lam of (F.t * Scope.language) option * ScopedTypeExpression.SimpleType.t option * t
  7. | Opaque of Elpi_util.Util.CData.t
  8. | Cast of t * ScopedTypeExpression.SimpleType.t
Sourceand t = {
  1. it : t_;
  2. loc : Elpi_util.Util.Loc.t;
}
Sourceval pp_t_ : Ppx_deriving_runtime.Format.formatter -> t_ -> Ppx_deriving_runtime.unit
Sourceval show_t_ : t_ -> Ppx_deriving_runtime.string
Sourcetype constant = int
Sourceval mkBound : loc:Elpi_util.Util.Loc.t -> language:Scope.language -> F.t -> t
Sourceval mkAppGlobal : loc:Elpi_util.Util.Loc.t -> Elpi_util.Util.Constants.Map.key -> t -> t list -> t
Sourceval mkAppBound : loc:Elpi_util.Util.Loc.t -> language:Scope.language -> F.t -> t -> t list -> t
Sourceval mkVar : loc:Elpi_util.Util.Loc.t -> F.t -> t list -> t
Sourceval mkDiscard : loc:Elpi_util.Util.Loc.t -> t
Sourceval mkImplication : loc:Elpi_util.Util.Loc.t -> t -> t -> t
Sourceval mkConj : loc:Elpi_util.Util.Loc.t -> t list -> t
Sourceval mkEq : loc:Elpi_util.Util.Loc.t -> t -> t -> t
Sourceval mkNil : loc:Elpi_util.Util.Loc.t -> t
Sourceval mkCons : ?loc:Elpi_util.Util.Loc.t -> t -> t -> t
Sourceval list_to_lp_list : loc:Elpi_util.Util.Loc.t -> t list -> t
Sourceval ne_list_to_lp_list : t list -> t
Sourceval lp_list_to_list : t -> t list