src/Tools/SML/Example.sig
author wenzelm
Fri, 22 Aug 2025 22:45:30 +0200
changeset 83035 d25f2989ef8b
parent 56276 9e2d5e3debd3
permissions -rw-r--r--
merged

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