xref: /seL4-l4v-10.1.1/HOL4/src/q/QLib.sml

structure QLib =
struct
  local open Q in end;
end;