Lines Matching defs:fname
521 val fname = fst(dest_const f)
527 add_string (Lib.quote (fname^": "^s)^")")
623 val fname = case constrname of
628 add_string (fix_name ("", true, fname)) >>
765 val (fname, args) = caml_strip_comb (lhs (hd els))
769 add_string fname >> add_break(1,0) >>
892 fun mk_upd_const (fname,_) =
900 val qid = Absyn.QIDENT(ln, Thy, Tyop^"_"^fname^"_fupd")
939 fun mk_proj_const (fname,fty) =
940 mk_thy_const{Name=Tyop^"_"^fname,Thy=Thy, Ty = ty --> fty}