writeFreeCADFile :: HetcatsOpts -> FilePath -> G_theory -> IO ()
writeFreeCADFile opts filePrefix (G_theory lid _ (ExtSign sign _) _ _ _) = do
  fcSign <- coercePlainSign lid FreeCAD
            "Expecting a FreeCAD signature for writing FreeCAD xml" sign
  writeVerbFile opts (filePrefix ++ ".xml") $ exportXMLFC fcSign
writeFreeCADFile :: HetcatsOpts -> FilePath -> G_theory -> IO ()
writeFreeCADFile opts filePrefix (G_theory lid _ (ExtSign sign _) _ _ _) = do
  fcSign <- coercePlainSign lid FreeCAD
            "Expecting a FreeCAD signature for writing FreeCAD xml" sign
  writeVerbFile opts (filePrefix ++ ".xml") $ exportXMLFC fcSign
writeFreeCADFile opts filePrefix (G_theory lid _ (ExtSign sign _) _ _ _) = do
  fcSign <- coercePlainSign lid FreeCAD
            "Expecting a FreeCAD signature for writing FreeCAD xml" sign
  writeVerbFile opts (filePrefix ++ ".xml") $ exportXMLFC fcSign