src/Tools/SML/Example.sig

reinstated intersection of lists as inter_list_set

signature Example =
sig
  type t
  val a: t
  val b: t -> t
end