title: How to model accepting a pdf file as input in VDM++
body: <p>Let say I want to model a program that will accept a file of type <code>pdf</code>.</p>
  <p>How should I model accepting a <code>pdf</code> file as input in VDM++?</p>