embedImplicitDefs

ImplicitPatternDefinition