<> <> <> <> <<>> DIRECTORY GGInterfaceTypes; GGEditTool: CEDAR DEFINITIONS = BEGIN SetDefaultHeuristics: PROC [on: BOOL]; <> GetDefaultHeuristics: PROC RETURNS [on: BOOL]; <> <<>> <<>> SetDefaultGravityExtent: PROC [inches: REAL]; <> GetDefaultGravityExtent: PROC RETURNS [screenDots: REAL]; <> <<>> <<>> END.