module Common: sig .. end
Module opened by default (like
Pervasives)
for our library.
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 Name_file: sig .. end
Generate unique filenames for a given set of uniquely identifying properties.
module KEDSL: sig .. end
This is an experimental extension of Ketrew's EDSL.
module Target_tags: sig .. end
An attempt at standardizing “tags.”