• en

Module Debuginfo

type kind =
| Dinfo_call
| Dinfo_raise
type t = {
dinfo_kind : kind;
dinfo_file : string;
dinfo_line : int;
dinfo_char_start : int;
dinfo_char_end : int;
}
val none : t
val is_none : t -> bool
val to_string : t -> string
val from_location : kind -> Location.t -> t
val from_call : Lambda.lambda_event -> t
val from_raise : Lambda.lambda_event -> t