Type Definition CallOf
Other items inframe_executive
type CallOf<E, C> = <CheckedOf<E, C> as Applyable>::Call;