Searched defs:link (Results 1 - 9 of 9) sorted by relevance

/seL4-l4v-master/HOL4/polyml/
H A Dpolyc.in42 link() function
/seL4-l4v-master/HOL4/tools/
H A Dbuild.sml50 fun link b s1 s2 = function
H A Dconfigure.sml298 fun link {extras,srcobj,tgt} = let function
/seL4-l4v-master/HOL4/tools-poly/
H A Dbuild.sml81 fun link b s1 s2 = function
/seL4-l4v-master/HOL4/help/src-sml/
H A DDoc2Html.sml127 fun link s = function
H A DHtmlsigs.sml210 val link = id ^ "-" ^ kindtag value
/seL4-l4v-master/HOL4/src/parse/
H A DHol_pp.sml113 fun link (l,s) = function
/seL4-l4v-master/HOL4/src/AI/
H A DaiLib.sml1300 val link = HOLDIR ^ "/sigobj/" ^ OS.Path.base (OS.Path.file file) value
/seL4-l4v-master/HOL4/polyml/basis/
H A DPosix.sml241 val link : {old : string, new : string} -> unit value
1111 fun link{old, new} = doCall(51, (old, new)) function

Completed in 85 milliseconds