given_ToSpecStructure_String_Fragments

Value members

Concrete methods

def toSpecStructure(s: String, fs: => Fragments): SpecStructure