xref: /seL4-l4v-master/HOL4/help/src-sml/Flash.sig

signature Flash =
sig

  val initialise : (string * int) -> ((unit -> unit) * (unit -> unit))

end;