structure res_quanLib :> res_quanLib =
struct

  local open res_quanTheory in end;

  open res_quanTools;

end;