Open LFsWang opened 3 years ago
We should unify the process for how to deal with the identifier and remove unnecessary post identifiers decl judgement.
We should unify the process for how to deal with the identifier and remove unnecessary post identifiers decl judgement.