[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

option vs. make-option



Should the option constructor be "option" as in the draft or
"make-option".

  -Tony Carrico