Searched refs:superToSuper (Results 1 – 1 of 1) sorted by relevance
475 return (ET.FlexSuper (superToSuper super) name)480 return (ET.FlexSuper (superToSuper super) name)486 return (ET.RigidSuper (superToSuper super) name)497 superToSuper :: SuperType -> ET.Super498 superToSuper super = function