fix(engine): expose type of local_ident.id#851

W95Psp merged 1 commit into

cryspen:maincryspen/hax:mainfrom

paulmure:local-var-idpaulmure/hax:local-var-idCopy head branch name to clipboard