Skip to content

Update diagram

  • flint:hasTextFragment
  • OperandsList
  • FrameSet
  • Postcondition, PostconditionFrame, etc
    • Remove flint:assign
  • SlotCorrespondence (!26 (merged))
Edited by Thom van Gessel