1signature pairSimps =
2sig
3
4  val PAIR_ss  : simpLib.ssfrag
5
6  val paired_forall_ss : simpLib.ssfrag
7  val paired_exists_ss : simpLib.ssfrag
8  val gen_beta_ss : simpLib.ssfrag
9
10end
11