def Miri.Interpreter.MacOsForeignMachine.bindTime {K U Host System TZ Timestamp R : Type} (time : TimeShims.Hooks (MachineHooks.State K U) Host System TZ Timestamp) (deadline : DeadlineMachine.Hooks K U Host System) (base : MacOsSync.Hooks (MachineHooks.State K U) R) : MacOsSync.Hooks (MachineHooks.State K U) R

Equations

• One or more equations did not get rendered due to their size.

def Miri.Interpreter.MacOsForeignMachine.bindTls {U C Other X FnABI ArgABI Aff P R Duration Os E Kind : Type} (main : MainMachine.Hooks U C Other X FnABI ArgABI Aff P) (base : MacOsForeign.Hooks (MainMachine.State U) R Duration Os E Kind) : MacOsForeign.Hooks (MainMachine.State U) R Duration Os E Kind

_tlv_atexit uses full compiler instances and source spans in the same ThreadTlsData visited by the actual destructor engine, not another TLS map.

Equations

• One or more equations did not get rendered due to their size.