package alt-ergo-lib

  1. Overview
  2. Docs
val libdir : string
val mandir : string
type numbers_lib =
  1. | Nums
  2. | Zarith
val numbers_lib : numbers_lib
val follow : string -> string -> string
val abs_exe_path : string
val datadir : string
val pluginsdir : string
val preludesdir : string