Searched defs:AF (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/HOL4/polyml/basis/
H A DINetSock.sml271 signature SOCKET = sig include SOCKET end where type AF.addr_family = NetHostDB.addr_family; type
H A DSocket.sml29 structure AF : structure
181 structure AF = structure
/seL4-l4v-master/HOL4/examples/l3-machine-code/x64/model/
H A Dx64.sig268 val AF: unit -> bool value
H A Dx64.sml860 fun AF () = Eflag Z_AF; function

Completed in 95 milliseconds