Type Definition NextResult
agda_mode::agda
type NextResult<T> = Result<AgdaResult<T>>;
Return type of next_* functions.
next_*