src/Tools/SML/Example.sig

proper naming for definitions in nested context based upon class target

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