module Common: sig .. end
include Nonstd
module String: sig .. end
A String module with more capabilities
val (//) : string -> string -> string
path // filename will concat filename to the end of path.
val debug_mode : bool Pervasives.ref
val dbg : ('a, unit, string, unit) Pervasives.format4 -> 'a
A consistent debugging mechanism.
val failwithf : ('a, unit, string, 'b) Pervasives.format4 -> 'a
A formatted failwith.
module Unique_id: sig .. end
module KEDSL: sig .. end
This is an experimental extension of Ketrew's EDSL.
module Ketrew: sig .. end
and then we forbid any other access to Ketrew, to force everything
to throught the above module.
module Target_tags: sig .. end
An attempt at standardizing “tags.”