diff options
Diffstat (limited to 'asmcomp/debuginfo.mli')
| -rw-r--r-- | asmcomp/debuginfo.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/asmcomp/debuginfo.mli b/asmcomp/debuginfo.mli index c6e36041cf..cf6179cd37 100644 --- a/asmcomp/debuginfo.mli +++ b/asmcomp/debuginfo.mli @@ -22,6 +22,8 @@ type t = { val none: t +val is_none: t -> bool + val to_string: t -> string val from_location: kind -> Location.t -> t |