Up

module Debuginfo

: sig

#

type kind =

# \| Dinfo_call
# \| Dinfo_raise

#

type t = private {

# 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

end