47 |
val native : { context: context, spec: string } -> t |
val native : { context: context, spec: string } -> t |
48 |
val standard : PathConfig.mode -> { context: context, spec: string } -> t |
val standard : PathConfig.mode -> { context: context, spec: string } -> t |
49 |
|
|
50 |
|
val fromDescr : PathConfig.mode -> string -> t |
51 |
|
|
52 |
val pickle : (bool -> unit) -> t * t -> string list |
val pickle : (bool -> unit) -> t * t -> string list |
53 |
val unpickle : PathConfig.mode -> string list * t -> t |
val unpickle : PathConfig.mode -> string list * t -> t |
54 |
|
|
71 |
|
|
72 |
fun sync () = |
fun sync () = |
73 |
(AbsPath.newEra (); |
(AbsPath.newEra (); |
74 |
knownPaths := foldl AbsPathMap.insert' AbsPathMap.empty |
knownPaths := |
75 |
(AbsPathMap.listItemsi (!knownPaths))) |
AbsPathMap.foldli (fn (k, v, m) => AbsPathMap.insert (m, k, v)) |
76 |
|
AbsPathMap.empty |
77 |
|
(!knownPaths)) |
78 |
|
|
79 |
fun clear () = knownPaths := AbsPathMap.empty |
fun clear () = knownPaths := AbsPathMap.empty |
80 |
|
|
93 |
|
|
94 |
val native = intern o AbsPath.native |
val native = intern o AbsPath.native |
95 |
fun standard m = intern o AbsPath.standard m |
fun standard m = intern o AbsPath.standard m |
96 |
|
fun fromDescr m = intern o AbsPath.fromDescr m |
97 |
|
|
98 |
val contextName = AbsPath.contextName |
val contextName = AbsPath.contextName |
99 |
fun contextOf (ap, _) = AbsPath.contextOf ap |
fun contextOf (ap, _) = AbsPath.contextOf ap |