package elpi

  1. Overview
  2. Docs
package elpi
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module ScopedTerm.SimpleTermSource

Sourcetype impl_kind =
  1. | L2R
  2. | L2RBang
  3. | R2L
Sourceval pp_impl_kind : Ppx_deriving_runtime.Format.formatter -> impl_kind -> Ppx_deriving_runtime.unit
Sourceval is_implf : Elpi_parser.Ast.Func.t -> bool
Sourceval func_to_impl_kind : Elpi_parser.Ast.Func.t -> impl_kind
Sourcetype t_ =
  1. | Impl of impl_kind * Elpi_util.Util.Loc.t * t * t
  2. | Const of Scope.t * F.t
  3. | Discard
  4. | Var of F.t * Elpi_util.Util.Loc.t * t list
  5. | App of Scope.t * F.t * Elpi_util.Util.Loc.t * t * t list
  6. | Lam of (F.t * Elpi_util.Util.Loc.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
Sourceval pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
Sourcetype constant = int
Sourceval mkBound : loc:Elpi_util.Util.Loc.t -> language:Scope.language -> F.t -> t
Sourceval mkAppBound : loc:Elpi_util.Util.Loc.t -> hdloc:Elpi_util.Util.Loc.t -> language:Scope.language -> F.t -> t -> t list -> t
Sourceval mkVar : loc:Elpi_util.Util.Loc.t -> hdloc: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 -> hdloc:Elpi_util.Util.Loc.t -> t -> t -> t
Sourceval mkConj : loc:Elpi_util.Util.Loc.t -> hdloc:Elpi_util.Util.Loc.t -> t list -> t
Sourceval mkEq : loc:Elpi_util.Util.Loc.t -> hdloc: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 -> hdloc: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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct