型エイリアス BecomeDestinationResolver

BecomeDestinationResolver: (
subject: ObjectRefReading,
axisValues: ReadonlyMap<string, string>,
) => ObjectGlobalId | undefined

become（9.9節）の行き先の型を、定義だけから解く手立て。行き先を解けない——対象の型が定義から決まらない、あるいはその座標に型が居ない——ときはundefined。