Lines Matching defs:break
208 fun break n = PP.add_break (1,n)
211 string "val _ = let", break 2,
213 string "open TypeBasePure", break 0,
214 string "val tyinfo = gen_datatype_info {", break 2,
216 string "ax = inftree_Axiom,", break 0,
217 string "ind = inftree_ind,", break 0,
219 ], break 0,
221 ], break 0,
222 string "in", break 2,
223 string "TypeBase.write tyinfo", break 0,