Structure MLstring

Source File	Identifier index	Theory binding index

signature MLstring =
sig

  exception stringerror of int * string
  val scanMLstring : string -> string

end

Source File	Identifier index	Theory binding index