Module Msg.ExtractSource

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

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