base.Let

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