Module Ast.RequireSource

Sourcetype ast = t
Sourcetype t = private {
  1. from : Libnames.qualid option;
  2. export : Vernacexpr.export_with_cats option;
  3. mods : (Libnames.qualid * Vernacexpr.import_filter_expr) list;
  4. loc : Loc.t option;
  5. attrs : Attributes.vernac_flag list;
  6. control : Vernacexpr.control_flag list;
}
include Ppx_hash_lib.Hashable.S with type t := t
Sourceval hash_fold_t : t Base__Ppx_hash_lib.hash_fold
Sourceval hash : t -> Base__Ppx_hash_lib.Std.Hash.hash_value
include Ppx_compare_lib.Comparable.S with type t := t
Sourceval compare : t Base__Ppx_compare_lib.compare
Sourceval extract : ast -> t option

Determine if the Ast is a Require