Syntax of library directives

libdir:= %include env(;)            parts:= part part*
         %export parts(;)
         %free { sig }              part:= identifier
                                           fileid
env:= fileid binder? aliases?              +
                                           -identifier
binder:= { binding binding* }
                                    fileid:= "pathname"
binding:= var = exp(;)                       <pathname>
          tform == type(;)
                                    Notes For the  definition  of  `sig'
aliases:= alias alias*              (=signature),  `var', `exp', `tform'
                                    and `type' see the main manual  page
alias:= identifier/identifier       on  formal  syntax  of Miranda.  For
        IDENTIFIER/IDENTIFIER       the definition of  `identifier'  and
        -identifier                 `IDENTIFIER'  see lexical syntax.