implementation module typeanal