Ip (p.mirage.4.10.5.doc.mirage.devices.Devices.Ip)

Sourcetype v4

Sourcetype v6

Sourcetype v4v6

Sourcetype 'a ip

Sourcetype ipv4 = v4 ip

Sourcetype ipv6 = v6 ip

Sourcetype ipv4v6 = v4v6 ip

Sourcetype dhcp_ipv4

Sourcetype lease

Sourceval ip : 'a ip Functoria.DSL.typ

Sourceval ipv4 : ipv4 Functoria.DSL.typ

Sourceval ipv6 : ipv6 Functoria.DSL.typ

Sourceval ipv4v6 : ipv4v6 Functoria.DSL.typ

Sourceval dhcp_ipv4 : dhcp_ipv4 Functoria.DSL.typ

Sourceval lease : lease Functoria.DSL.typ

Sourcemodule Dhcp_requests : sig ... end

Source

val create_ipv4 : 
  ?group:string ->
  Ethernet.ethernet Functoria.DSL.impl ->
  Arp.arpv4 Functoria.DSL.impl ->
  ipv4 Functoria.DSL.impl

Source

val keyed_create_ipv4 : 
  ?group:string ->
  ?network:Ipaddr.V4.Prefix.t ->
  ?gateway:Ipaddr.V4.t ->
  no_init:bool Functoria.DSL.runtime_arg ->
  Ethernet.ethernet Functoria.DSL.impl ->
  Arp.arpv4 Functoria.DSL.impl ->
  ipv4 Functoria.DSL.impl

Source

val create_ipv6 : 
  ?group:string ->
  Network.network Functoria.DSL.impl ->
  Ethernet.ethernet Functoria.DSL.impl ->
  ipv6 Functoria.DSL.impl

Source

val keyed_create_ipv6 : 
  ?group:string ->
  ?network:Ipaddr.V6.Prefix.t ->
  ?gateway:Ipaddr.V6.t ->
  no_init:bool Functoria.DSL.runtime_arg ->
  Network.network Functoria.DSL.impl ->
  Ethernet.ethernet Functoria.DSL.impl ->
  ipv6 Functoria.DSL.impl

Source

val keyed_ipv4_of_dhcp : 
  ?group:string ->
  ?dhcp_requests:Dhcp_requests.t ->
  ?gateway:Ipaddr.V4.t ->
  no_init:bool Functoria.DSL.runtime_arg ->
  Network.network Functoria.DSL.impl ->
  Ethernet.ethernet Functoria.DSL.impl ->
  Arp.arpv4 Functoria.DSL.impl ->
  dhcp_ipv4 Functoria.DSL.impl

Source

val ipv4_of_dhcp : 
  ?group:string ->
  ?dhcp_requests:Dhcp_requests.t ->
  ?gateway:Ipaddr.V4.t ->
  Network.network Functoria.DSL.impl ->
  Ethernet.ethernet Functoria.DSL.impl ->
  Arp.arpv4 Functoria.DSL.impl ->
  dhcp_ipv4 Functoria.DSL.impl

Sourceval dhcp_proj_net : (dhcp_ipv4 -> Network.network) Functoria.DSL.impl

Sourceval dhcp_proj_ipv4 : (dhcp_ipv4 -> ipv4) Functoria.DSL.impl

Sourceval dhcp_proj_lease : (dhcp_ipv4 -> lease) Functoria.DSL.impl

Sourceval no_lease : lease Functoria.DSL.impl

Source

val ipv4_qubes : 
  Qubesdb.qubesdb Functoria.DSL.impl ->
  Ethernet.ethernet Functoria.DSL.impl ->
  Arp.arpv4 Functoria.DSL.impl ->
  ipv4 Functoria.DSL.impl

Source

val create_ipv4v6 : 
  ?group:string ->
  ipv4 Functoria.DSL.impl ->
  ipv6 Functoria.DSL.impl ->
  ipv4v6 Functoria.DSL.impl

Source

val keyed_ipv4v6 : 
  ipv4_only:bool Functoria.DSL.runtime_arg ->
  ipv6_only:bool Functoria.DSL.runtime_arg ->
  ipv4 Functoria.DSL.impl ->
  ipv6 Functoria.DSL.impl ->
  ipv4v6 Functoria.DSL.impl

Sourceval right_tcpip_library : string list -> Functoria.DSL.package