package elpi

  1. Overview
  2. Docs

Module Ast.StructuredSource

Sourcetype program = {
  1. macros : (Func.t, Term.t) Macro.t list;
  2. types : tattribute Type.t list;
  3. type_abbrevs : Func.t TypeAbbreviation.t list;
  4. modes : Func.t Mode.t list;
  5. body : block list;
}
Sourceand block =
  1. | Locals of Func.t list * program
  2. | Clauses of (Term.t, attribute) Clause.t list
  3. | Namespace of Func.t * program
  4. | Shorten of Func.t shorthand list * program
  5. | Constraints of Func.t list * cattribute Chr.t list * program
Sourceand attribute = {
  1. insertion : insertion option;
  2. id : string option;
  3. ifexpr : string option;
}
Sourceand insertion =
  1. | Before of string
  2. | After of string
  3. | Replace of string
Sourceand cattribute = {
  1. cid : string;
  2. cifexpr : string option;
}
Sourceand tattribute =
  1. | External
  2. | Index of int list * tindex option
Sourceand tindex =
  1. | Map
  2. | HashMap
  3. | DiscriminationTree
Sourceand 'a shorthand = {
  1. iloc : Loc.t;
  2. full_name : 'a;
  3. short_name : 'a;
}