You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In oscar-system/Oscar.jl#1811 I saw code using @req and wondered what it does. Had to grep around a bit. Would have been nice if ?@req had cleared it up :-). Perhaps we can document it and then use it in more places?
The text was updated successfully, but these errors were encountered:
In oscar-system/Oscar.jl#1811 I saw code using
@req
and wondered what it does. Had to grep around a bit. Would have been nice if?@req
had cleared it up :-). Perhaps we can document it and then use it in more places?The text was updated successfully, but these errors were encountered: