src/Tools/SML/Example.sml
author wenzelm
Mon, 27 Apr 2015 15:53:11 +0200
changeset 60203 add72fdadd0b
parent 56276 9e2d5e3debd3
permissions -rw-r--r--
filtering of reflexive dependencies avoids problems with state-of-the-art graph browser; clarified

structure Example :> Example =
struct

type t = int

val a = 0
fun b x = x + 1

end