What is the difference between the implicit and explicit form of a generic rule in a generic inductive definition?

General