structure bagLib :> bagLib = 
struct

local open bagTheory in end

open bagSyntax bagSimps

end;