37 |
val clear : unit -> unit |
val clear : unit -> unit |
38 |
|
|
39 |
val osstring : t -> string |
val osstring : t -> string |
40 |
|
(* like osstring; return relative path if shorter *) |
41 |
|
val osstring' : t -> string |
42 |
val descr : t -> string |
val descr : t -> string |
43 |
val reAnchoredName : t * string -> string option |
val reAnchoredName : t * string -> string option |
44 |
val contextOf : t -> context |
val contextOf : t -> context |
106 |
fun contextOf (ap, _) = AbsPath.contextOf ap |
fun contextOf (ap, _) = AbsPath.contextOf ap |
107 |
fun specOf (ap, _) = AbsPath.specOf ap |
fun specOf (ap, _) = AbsPath.specOf ap |
108 |
fun osstring (ap, _) = AbsPath.osstring ap |
fun osstring (ap, _) = AbsPath.osstring ap |
109 |
|
fun osstring' (ap, _) = AbsPath.osstring' ap |
110 |
fun descr (ap, _) = AbsPath.descr ap |
fun descr (ap, _) = AbsPath.descr ap |
111 |
fun reAnchoredName ((ap, _), root) = AbsPath.reAnchoredName (ap, root) |
fun reAnchoredName ((ap, _), root) = AbsPath.reAnchoredName (ap, root) |
112 |
fun tstamp (ap, _) = AbsPath.tstamp ap |
fun tstamp (ap, _) = AbsPath.tstamp ap |