Module Register_gui.Slicing


module Slicing: Computation.Ref(sig
include Datatype.Bool
val default : unit -> bool
end)(sig
val name : string
val dependencies : 'a list
end)

include Project.Computation.OUTPUT
type data 
Type of the referenced value.
val set : data -> unit
Change the referenced value.
val get : unit -> data
Get the referenced value.
val clear : unit -> unit
Reset the reference to its default value.