HOAS interface for let bindings