Lines Matching defs:all
49 val all: 'a ptable -> unit -> (string * 'a) list
60 and all(tab, mutx) = protect mutx (fn () => fold (fn (s, v, l) => ((s, v) :: l)) [] tab)
94 allFix = all fixTable,
95 allSig = all sigTable,
96 allVal = all valTable,
97 allType = all typTable,
98 allFunct = all fncTable,
99 allStruct = all strTable
149 (* PolyML.compiler takes a list of these parameter values. They all
508 (* Pass all the settings. Some of these aren't included in the parameters datatype (yet?). *)
585 (* Remove all buffered but unread input. *)
1166 (* If the target we are making is a directory all the objects
1352 (* Lookup and "all" functions for the environment. We can't easily use a general
1671 (* Clear all callbacks when exiting debuggable code. *)
1678 (* Clear all stepping. *)
1729 fun getAll f t () = ProtectedTable.all t () @ f (debugEnv()) () @ f globalNameSpace ()
1903 (* Print all variables at the current level. *)
1906 (* Print all the levels. *)