Lines Matching refs:core
12 core : HM_Core_Cline.t
20 fun from core holstate multithread poly polymllibdir poly_not_hol relocbuild
22 {core = core, holstate = holstate, multithread = multithread, poly = poly,
26 holstate core =
27 {core = core, holstate = holstate, multithread = multithread, poly = poly,
30 fun to f {core, holstate, multithread, poly, polymllibdir, poly_not_hol,
32 f core holstate multithread poly polymllibdir poly_not_hol relocbuild
41 fun fupd_core f t = updateT t (U #core (f (#core t))) $$
43 core = HM_Core_Cline.default_core_options,
57 {update = fn (wn, t : t) => updateT t (U #core (u (wn, #core t))) $$,