For example, if I've defined the operation PlusEqual
, I'd like to say
operation MinusEqual = Adjoint PlusEqual;
but this produces a syntax error.
Is the only way to do this by exhaustively re-listing all arguments and functors?
operation MinusEqual (all_args_and_types_again) : ReturnType {
body (...) {
return Adjoint AddEqual(all_args);
}
adjoint auto;
controlled auto;
controlled adjoint auto;
}