[bitv] slightly better printing of terms and simple terms #1178
documentation.yml
on: pull_request
Annotations
10 warnings
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
ocaml_doc
Expired
|
2.38 MB |
|
sphinx_doc
Expired
|
5.15 MB |
|