(****
 *
 * Module File defines the objects and operations related to file processing
 * in the calendar system.
 *
 *)

operation FileNew
    inputs: ;
    outputs: ;
    precondition: ;
    postcondition: ;
    description: (*
	
    *);
end FileNew;

operation FileOpen
    inputs: ;
    outputs: ;
    precondition: ;
    postcondition: ;
    description: (*
	
    *);
end FileOpen;