Builtin for modular multiplication operations.

Signature

pub extern type MulMod;