package rocq-runtime

  1. Overview
  2. Docs
package rocq-runtime
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Loadpath.FilenameSource

Sourcetype t
Sourceval make : filename -> t
Sourceval repr : t -> filename
Sourceval dirname : t -> dirname

Guaranteed to be absolute, as if obtained through absolute_dir