def refused_if
import bendtorch-core@0.1.0.0/src/autograd/sgd.bend as Sgdimport Base
160def refused_if(below: Bool) -> Maybe<&2, Error>:
161 match below:
162 case True{}:
163 Some{InvalidLearningRate{}}
164 case False{}:
165 None{}