Skip to main content
Type used to call a hypothesis of the element of any type. For details, see Hypotheses for all types of element.