add type declaration for primep's parameters