Searched refs:stPreImportedDisplayForms (Results 1 – 1 of 1) sorted by relevance
187 , stPreImportedDisplayForms :: !DisplayForms function376 , stPreImportedDisplayForms = HMap.empty function617 f (stPreImportedDisplayForms (stPreScopeState s)) <&>618 \x -> s {stPreScopeState = (stPreScopeState s) {stPreImportedDisplayForms = x}}