Lines Matching defs:MODEL
293 datatype model = MODEL of
317 MODEL
323 fun msize (MODEL {parm = {size = N, ...}, ...}) = N;
326 let val MODEL {parm, id, cachef, cachep, overp, fixf, fixp, ...} = m
327 in MODEL {parm = parm, id = id, cachef = cachef, cachep = cachep,
332 let val MODEL {parm, id, cachef, cachep, overf, fixf, fixp, ...} = m
333 in MODEL {parm = parm, id = id, cachef = cachef, cachep = cachep,
337 fun pp_model (MODEL {parm = {size = N, ...}, id, ...}) =
346 val MODEL {parm = {size = N, ...}, id, cachef, overf, fixf, ...} = m
356 val MODEL {id,cachep,overp,fixp,...} = m
488 val MODEL {fixf,...} = m
510 val MODEL {fixp,...} = m
550 val MODEL {overf,overp,fixf,fixp,...} = m