This is a valid F* module that defines `bar`: ``` module Foo (* // *) let bar = 1 ``` However VimFStar doesn't think that the comment on the second line ends on line 2. It thinks that it is never closed.
This is a valid F* module that defines
bar:However VimFStar doesn't think that the comment on the second line ends on line 2. It thinks that it is never closed.