given_ToSpecStructure_SpecHeader_T

APPENDING TO A SPEC HEADER

Value members

Concrete methods

def toSpecStructure(header: SpecHeader, spec: => T): SpecStructure