Up – Package index » rocq-runtime » Library rocq-runtime.kernel » Sorts » QGlobal

Module `Sorts.QGlobal`Source

Sourcetype t

Sourceval make : Names.DirPath.t -> Names.Id.t -> t

Sourceval repr : t -> Names.DirPath.t * Names.Id.t

Sourceval equal : t -> t -> bool

Sourceval hash : t -> int

Sourceval compare : t -> t -> int

Sourceval to_string : t -> string