Use AsVal.

theories/lang/lib/spawn.v

theories/lang/races.v

theories/typing/function.v

theories/typing/lib/arc.v

theories/typing/lib/diverging_static.v

theories/typing/lib/join.v

theories/typing/lib/rc/rc.v

theories/typing/lib/refcell/ref_code.v

theories/typing/lib/refcell/refmut_code.v

theories/typing/lib/spawn.v

theories/typing/lib/take_mut.v