xref: /seL4-l4v-master/HOL4/src/coretypes/sumSimps.sig

signature sumSimps =
sig
  val SUM_ss  : simpLib.ssfrag
  val SUM_rws : computeLib.compset -> unit
end