Module Const

module Const: sig .. end

Configuration and Globals

DO NOT MODIFY "const.ml", IT IS GENERATED FROM "const.ml.ab"


val home : string
val version : string
val section : Logtk.Util.Section.t