Underscore
Implements the following sequence of replacements :
- list :
list->Datatypes.list,list_->list - option :
option->Datatypes.option,option_->option - set :
set->set.set,set_->set
Probably needs rebasing.
Edited by Bruno B
Implements the following sequence of replacements :
list -> Datatypes.list, list_ -> list
option -> Datatypes.option, option_ -> option
set -> set.set, set_ -> set
Probably needs rebasing.