Searched defs:optForcing (Results 1 – 1 of 1) sorted by relevance
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/Options/ | ||
H A D | Base.hs | 156 , optForcing :: Bool -- ^ Perform the forcing analysis on data constructors? function |