package mirage-types

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

MirageOS Signatures.

This module defines the basic signatures that functor parameters should implement in MirageOS to be portable.

module type DEVICE = sig ... end

module type TIME = sig ... end

module type RANDOM = sig ... end

module type CLOCK = sig ... end

module type FLOW = sig ... end

module type CONSOLE = sig ... end

module type BLOCK = sig ... end

module type NETWORK = sig ... end

module type ETHIF = sig ... end

module type IP = sig ... end

module type ARP = sig ... end

module type IPV4 = sig ... end

module type IPV6 = sig ... end

module type ICMP = sig ... end

module type ICMPV4 = sig ... end

module type UDP = sig ... end

module type TCP = sig ... end

module type STACKV4 = sig ... end

module type CHANNEL = sig ... end

module type FS = sig ... end

module type KV_RO = sig ... end