Up
–
rocq-runtime
»
Ltac2_plugin
»
Tac2ffi
» ModField
Module
Tac2ffi.ModField
type
t
=
|
Ref
of
Names.GlobRef.t
|
Submodule
of
Names.ModPath.t
|
Rewrule