src/Tools/SML/Example.sig

prefer sign-agnostic conversion following bit structure

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