module ForwardHighlighterState: Make_HighlighterState(sigval name : stringend)
Make_HighlighterState
(
sig
val name : string
string
end
)
include Project.Computation.OUTPUT
type data
val set : data -> unit
data -> unit
val get : unit -> data
unit -> data
val clear : unit -> unit
unit -> unit