package alt-ergo-lib

  1. Overview
  2. Docs
val libdir : string
val pluginsdir : string
val preludesdir : string
val datadir : string
val mandir : string
OCaml

Innovation. Community. Security.