src/Tools/SML/Example.sig
author wenzelm
Mon, 19 Nov 2018 12:50:23 +0100
changeset 69315 fc1a8df3062d
parent 56276 9e2d5e3debd3
permissions -rw-r--r--
more Haskell operations;

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