sig
  val library : unit -> string
  val patchLevel : unit -> string
  val set_strictMotif : bool -> unit
  val strictMotif : unit -> bool
  val version : unit -> string
end