electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
Module Libelectrod . Msg . Extract

Module to get source code fragments and show them (in error messages for instance), possibly with colored output

val lines : string option -> Location.t -> string list
val split_string : string -> int -> string * string
val pp : (string * (string list * string)) Fmtc.t
val extract : string option -> Location.t -> string * (string list * string)