src/Tools/SML/Example.sig

misc tuning: more concise operations on prems (without change of exceptions);
discontinue odd clone Drule.cprems_of (see also 991a3feaf270);

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