src/Tools/SML/Example.sig
author haftmann
Sun, 27 Jul 2025 17:52:06 +0200
changeset 82909 e4fae2227594
parent 56276 9e2d5e3debd3
permissions -rw-r--r--
added missing colon

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