How to get typedefs into mlua (luau)

[walksanatora]

so I learned mlua has support for .d.lua files (and even the luau code has definitions builtin and has stuff like @checked declare function newproxy(mt: boolean?): any any idea how I can provide these for rust functions being passed into mlua. (or since I plan to bind c#... how would I pass generated definitions into the luau typechecker)