Module Coq.GlobSource

Sourcetype t

A glob file that was read and parsed successfully

Sourceval open_file : string -> (t, string) Result.t
Sourcemodule Info : sig ... end
Sourceval get_info : t -> string -> Info.t option