Module Ast.ProgramSource

Sourcetype decl =
  1. | Begin of Loc.t
  2. | Namespace of Loc.t * Func.t
  3. | Constraint of Loc.t * Func.t list * Func.t list
  4. | Shorten of Loc.t * (Func.t * Func.t) list
  5. | End of Loc.t
  6. | Accumulated of Loc.t * parser_output list
  7. | Clause of (Term.t, raw_attribute list, unit, unit) Clause.t
  8. | Chr of (raw_attribute list, Term.t) Chr.t
  9. | Macro of (Func.t, Term.t) Macro.t
  10. | Kind of (raw_attribute list, raw_attribute list) Type.t list
  11. | Type of (raw_attribute list, raw_attribute list) Type.t list
  12. | Pred of (raw_attribute list, raw_attribute list) Type.t
  13. | TypeAbbreviation of (Func.t, raw_attribute list TypeExpression.t) TypeAbbreviation.t
  14. | Ignored of Loc.t
Sourceand parser_output = {
  1. file_name : string;
  2. digest : Elpi_util.Util.Digest.t;
  3. ast : decl list;
}
Sourcetype t = decl list