let
closed : bindings = []