[marc]

Since PositionTime is defined in a different module, you must use its fully qualified name, e.g.:

idempotent ::calculators::generated::PositionTime getStartTime();