module Make_HighlighterState:functor (
Info
:
sig
end
) ->
Computation.Ref
(
sig
include Cil_datatype.StmtListval default :unit -> 'a list
end
)
(
sig
val name :string
val dependencies :Project.Computation.t list
end
)
Parameters: |
|
include Project.Computation.OUTPUT
type
data
val set : data -> unit
val get : unit -> data
val clear : unit -> unit