let closed : bindings = []