module Const: sig .. end
sig
end
DO NOT MODIFY "const.ml", IT IS GENERATED FROM "const.ml.ab"
val home : string
string
val version : string
val section : Logtk.Util.Section.t
Logtk.Util.Section.t