BackInput typedef

BackInput = ()

Input parameters for navigateBack. Empty record because fdb back takes no arguments today.

Implementation

typedef BackInput = ();