operation ZoomIn is
	inputs: Map and Layer and DefaultZoomin;
	outputs: Map and Layer;
	description: (*
		Zooms into the map by a factor of whatever the default zoom is.
	*);
end Zoomin;

operation ZoomOut is
	inputs: Map and Layer and DefaultZoomin;
	outputs: Map and Layer;
	description: (*
		Zooms out of the map by a factor of whatever the default zoom is.
	*);
end ZoomOut;

operation ZoomBox is
	inputs: Map and Layer and Acoord and Bcoord;
	outputs: Map and Layer;
	description: (*
		Allows the user to zoom in on a particular box.  Takes in top left and bottom right coordinates.
	*);
end ZoomBox;

operation PanLeft is
	inputs: Map and Layer and DefaultPanIncrements;
	outputs: Map and Layer;
	description: (*
		Allows user to pan the viewable map the default pan increments
	*);
end PanLeft;

operation PanRight is
	inputs: Map and Layer and DefaultPanIncrements;
	outputs: Map and Layer;
end PanRight;

operation PanUp is
	inputs: Map and Layer and DefaultPanIncrements;
	outputs: Map and Layer;
end PanUp;

operation PanDown is
	inputs: Map and Layer and DefaultPanIncrements;
	outputs: Map and Layer;
end PanDown;

object DefaultZoomin is
	components: Zoomin;
end DefaultZoomin;

object DefaultPanIncrements is
	components: PanIncrements;
end DefaultPanIncrements;