Searched refs:eps_var (Results 1 – 3 of 3) sorted by relevance
537 eps_var <- getEpsVar538 atomicUpdMutVar' eps_var upd_fn548 eps_var <- getEpsVar549 atomicUpdMutVar' eps_var (\eps -> (upd_fn eps, ()))
194 eps_var <- newIORef initExternalPackageState205 , hsc_EPS = eps_var
1214 const Variable eps_var(cs.space_dimension()); in strongly_minimize_constraints() local