Constant _DERIVE_Command_FOR_TipHeightCmd 

const _DERIVE_Command_FOR_TipHeightCmd: ();