File ‹Example.sig›

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