Module `Int63_syntax_plugin.Int63_syntax`

val __coq_plugin_name : string

val q_int63 : Libnames.qualid
val q_id_int63 : Libnames.qualid
val make_dir : string list -> Names.DirPath.t
val make_path : string list -> string -> Libnames.full_path
val int63_module : string list
val int63_path : Libnames.full_path
val int63_scope : string
val at_declare_ml_module : ('a -> unit) -> 'a -> unit