<RefEntry id="mif-backend"> <!-- This file is generated automatically from the DSSSL source. --> <!-- Do not edit this file! --> <?html-filename mif-backend.html> <RefMeta> <RefEntryTitle>mif-backend</RefEntryTitle> <RefMiscInfo Role="file">dbparam.dsl</RefMiscInfo> </RefMeta> <RefNameDiv> <RefName>mif-backend</RefName> <RefPurpose>Are we using the MIF backend?</RefPurpose> </RefNameDiv> <RefSynopsisDiv><Title>Synopsis</Title> <Synopsis> mif-backend </Synopsis> </RefSynopsisDiv> <RefSect1><Title>Description</Title> <para> This parameter exists so that <literal>-V mif-backend</literal> can be used on the command line to explicitly select the MIF backend.</para> </RefSect1> <RefSect1><Title>Source Code</Title> <ProgramListing> (define mif-backend ;; Are we using the MIF backend? #f) </ProgramListing> </RefSect1> </RefEntry>