src/Tools/SML/Example.sig
author haftmann
Thu, 24 Jul 2025 17:46:29 +0200
changeset 82902 99a720d3ed8f
parent 56276 9e2d5e3debd3
permissions -rw-r--r--
clarified code setup

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