1 2 3 4 5 6 7 8 9
module type T = sig type t type value val value : t -> value val set_value : t -> value -> unit end