Lines Matching defs:defs
112 val defs =
154 :: defs)
187 defs)
191 val defs = map DEFN [dividesTheory.compute_divides, GCD_EFFICIENTLY, lcm_def];
196 defs);
201 defs);
325 val defs =
341 :: map DEFN defs);
352 :: map DEFN defs);
387 val defs = map DEFN [UNIT_DEF, BIND_DEF, IGNORE_BIND_DEF, MMAP_DEF, JOIN_DEF, READ_def, WRITE_def]
389 val _ = eSML "state_transformer" defs
390 val _ = eCAML "state_transformer" defs;