Strict record fields are shown as functions with a meaningless ! in the return type
For instance, the
abcInterpreterEnv field in
IWorld is displayed as:
.abcInterpreterEnv :: *IWorld -> !PrelinkedInterpretationEnvironment
! would be ignored by the parser. It should not be included here either.
To upload designs, you'll need to enable LFS. More information