base.Let

imm #[V$0:imm,mut,read,R$0:imm,mut,read](l: mut base.Let[V$0,R$0]): R$0 -> …,
imm #[V$0:imm,mut,read,R$0:imm,mut,read](l: mut base.Let[V$0,R$0]): R$0 -> …,