Field

Ltac2.Module.Field

type t = ..

Type of module fields.

May be extended in the future.

type t +=

1. | Ref of reference
   (*

   A reference in the module.

   *)
2. | Submodule of Names.ModPath.t
   (*

   A submodule field.

   *)
3. | Rewrule
   (*

   A rewrite rule.

   *)