definition module StdPathname

import StdString

::	Pathname			:== String

EmptyPathname	:== ""

RemovePath			:: !Pathname -> String
RemoveSuffix		:: !Pathname -> String
RemoveSuffix`		:: !Pathname -> String;
RemoveFilename		:: !Pathname -> Pathname
replace_prefix_path	:: !Pathname !Pathname !Pathname -> !Pathname
equal_suffix		:: !String !String -> Bool
IsFullPathname		:: !Pathname -> Bool
MakeFullPathname	:: !Pathname !String -> Pathname

quoted_string :: !String -> String
