The tame conjecture command generates the proof obligation whose proof is required to be certain that a generic function is tame. It is applicable to a generic function, when its name is inspected. There need not already be a tame directive for that function; this allows tameness to be investigated before a directive is introduced.
See also discussion of tame directives.