Searched defs:host (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-master/HOL4/examples/elliptic/
H A DUseful.sig379 val host : string value
H A DUseful.sml810 val host = Option.getOpt (OS.Process.getEnv "HOSTNAME", "unknown"); value
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DUseful.sig298 val host : unit -> string value
H A DUseful.sml774 fun host () = Option.getOpt (OS.Process.getEnv "HOSTNAME", "unknown"); function
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DUseful.sig298 val host : unit -> string value
H A DUseful.sml774 fun host () = Option.getOpt (OS.Process.getEnv "HOSTNAME", "unknown"); function

Completed in 165 milliseconds