Range types cannot be used inside modules
module Foo type t = < range 0 1 > constant c : int = t'minInt end
unbound symbol 't'minInt'. Replacing
theory makes the testcase go through.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information