given_ToSpecStructure_Fragment_String

APPENDING TO A FRAGMENT

Value members

Concrete methods

def toSpecStructure(f1: Fragment, s: => String): SpecStructure