electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
Module Libelectrod . Msg
module Location = Location

An abbreviation.

Setting up the logging machinery

module LoggingSetup : sig ... end
val debug : 'a Logs.log
val info : 'a Logs.log
val warn : 'a Logs.log
val err : ( 'a, 'b ) Logs.msgf -> 'c
val style : Logs.level -> Fmt.style
module Extract : sig ... end

Messages (errors, warnings...)

val code : int -> string

code num takes a message number and prints is as an error code (4 (zero-padded) digits). DO NOT EVER --EVER!-- CHANGE THE NUMBER OF A MESSAGE (AT WORST, DELETE THE MESSAGE AND LET THE NUMBER BE LOST). ONLY ADD MESSAGES AT THE END OF THE FOLLOWING MESSAGING MODULES.

Errors that stop the program

module Fatal : sig ... end

Warnings (the program does not fail)

module Warn : sig ... end