#1363 In the following example, Cryptol complains that `Type not in scope: C` on the line with `type constraint (C n)`. ``` module Lib where type constraint C m = 0 <= m parameter type n : # type constraint (C n) ```
