Definition of "let in"

let in