DOKK / manpages / debian 12 / coq-dpdgraph-tools / dpdusage.1.en
DPDUSAGE(1) General Commands Manual DPDUSAGE(1)

dpdusage - find unused definitions

dpdusage [options] input_file.dpd

-with-defs : show everything (default)

-without-defs : show only Prop objects

-rm-trans : remove transitive dependencies (default)

-keep-trans : keep transitive dependencies

-debug : set debug mode

-threshold : Max number of references allowed (default 0)

-with-path : print path (default)

-without-path : do not print path

-v : print version and exit

Display this list of options
Display this list of options
June 2022