Module Db.RteGen


module RteGen: sig .. end
Runtime Error Annotation Generation plugin.
See also internal documentation.

val annotate_kf : (Db_types.kernel_function -> unit) Pervasives.ref
val self : Project.Computation.t Pervasives.ref