Searched defs:roleAnnotD (Results 1 – 4 of 4) sorted by relevance
570 roleAnnotD name roles = pure $ RoleAnnotD name roles function
553 roleAnnotD name roles = return $ RoleAnnotD name roles function
576 roleAnnotD name roles = pure $ RoleAnnotD name roles function