Lines Matching defs:fname
225 fun pneeded_by_style (rr: term_grammar.rule_record, pgrav, fname, fprec) =
230 | ParoundName => grav_name pgrav <> fname
643 fun block_by_style (rr, pgrav, fname, fprec) = let
646 AroundSameName => grav_name pgrav <> fname
963 val fname = valOf (overloading_of_term overload_info f)
964 val _ = is_substring (brss ^ "sf") fname orelse
1309 val {fname,fprec,f} = fterm
1349 pneeded_by_style(rr, pgrav, fname, fprec)
1351 val prec = Prec(fprec, fname)
1356 val begblock = block_by_style(rr, pgrav, fname, fprec)
1378 pneeded_by_style (rr, pgrav, fname, fprec)
1381 val prec = Prec(fprec, fname)
1385 block_by_style(rr, pgrav, fname, fprec)
1408 pneeded_by_style(rr, pgrav, fname, fprec) orelse
1413 val prec = Prec(fprec, fname)
1414 val begblock = block_by_style(rr, pgrav, fname, fprec)
1430 fun find (bopt, s) = if bopt = SOME fname then SOME s else NONE
1432 val (bvs, body) = strip_vstructs (SOME fname) restr_binder tm
1646 val fname = atom_name f
1647 (* val _ = PRINT ("pr_atomf: "^fname^" and "^
1654 (lookup_term fname)
1664 find_partial (fn (b,s) => if s=fname then SOME b else NONE)
1716 | SOME (SOME fname) =>
1720 fname = fname,
1774 {fprec = prec, fname=fname, f=f} args Rand