Module Libzipperposition.Const

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