Type Definition garando_pos::FileName

type FileName = String;