<<>> <> <> <> <> <> DIRECTORY ViewerScreenTypes USING [Screen], Imager USING [Context]; Snapshot: CEDAR DEFINITIONS ~ BEGIN Snapshot: PROC [context: Imager.Context, screen: ViewerScreenTypes.Screen, f0, s0: NAT ¬ 0, f1, s1: NAT ¬ NAT.LAST]; <> <<>> END.