Names: module{ PATH: con "/dis/lib/names.dis"; cleanname: fn(name: string): string; dirname: fn(name: string): string; basename: fn(name: string, suffix: string): string; elements: fn(name: string): list of string; isprefix: fn(a: string, b: string): int; pathname: fn(els: list of string): string; rooted: fn(root: string, name: string): string; relative: fn(name: string, root: string): string;};
Names: module
{
PATH: con "/dis/lib/names.dis";
cleanname: fn(name: string): string;
dirname: fn(name: string): string;
basename: fn(name: string, suffix: string): string;
elements: fn(name: string): list of string;
isprefix: fn(a: string, b: string): int;
pathname: fn(els: list of string): string;
rooted: fn(root: string, name: string): string;
relative: fn(name: string, root: string): string;
};