Lines Matching defs:parameters
13 type parameters = {prefactoring : filter, postfactoring : filter}
15 val defaults : parameters
19 val update_prefactoring : (filter -> filter) -> parameters -> parameters
20 val update_postfactoring : (filter -> filter) -> parameters -> parameters
24 val empty : mlibClause.parameters * parameters -> clauseset
25 val parm : clauseset -> mlibClause.parameters * parameters