Searched defs:simplifyBlocked (Results 1 – 1 of 1) sorted by relevance
927 simplifyBlocked' (Blocked _ t) = return t function928 simplifyBlocked' (NotBlocked _ t) = simplify' t -- Andrea(s), 2014-12-05 OK? function