Lines Matching defs:module
31 val module = "metisTools";
33 [{module = "mlibClause", alignment = fn n => n + 4},
34 {module = "mlibSolver", alignment = I},
35 {module = "mlibMeson", alignment = I},
36 {module = "mlibClauseset", alignment = I},
37 {module = "mlibSupport", alignment = I},
38 {module = "mlibResolution", alignment = I},
39 {module = "folMapping", alignment = fn n => n + 3},
40 {module = "folTools", alignment = I},
41 {module = "metisTools", alignment = I},
42 {module = "metisLib", alignment = I}];
47 fun chatting l = tracing {module = module, level = l};
49 val ERR = mk_HOL_ERR module;