Module Data_filesSource

Sourcetype file =
  1. | Slipshow_js
  2. | Slip_css
  3. | Theorem_css
  4. | Mathjax_js
  5. | Tailwind_css
  6. | Highlight_js
  7. | Highlight_css
  8. | Highlight_js_ocaml
Sourceval read : file -> string