Alex
module Lamp = struct type state = On | Off type t = {mutable state : state} let create c = {state = Off} let turn_on lamp = lamp.state <- On end
struct