src/Tools/SML/Example.sig

use tree (simpler) instead of rbt (exercise)

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