Searched refs:terSizeDepth (Results 1 – 1 of 1) sorted by relevance
339 terSizeDepth :: Lens' Int TerEnv340 terSizeDepth f e = f (_terSizeDepth e) <&> \ i -> e { _terSizeDepth = i } function614 terLocal (set terSizeDepth n) cont