prim_implicit_mod Module Reference