Ip (mirage.Devices.Ip)

type v4

type v6

type v4v6

type 'a ip

type ipv4 = v4 ip

type ipv6 = v6 ip

type ipv4v6 = v4v6 ip

type dhcp_ipv4

type lease

val ip : 'a ip Functoria.DSL.typ

val ipv4 : ipv4 Functoria.DSL.typ

val ipv6 : ipv6 Functoria.DSL.typ

val ipv4v6 : ipv4v6 Functoria.DSL.typ

val dhcp_ipv4 : dhcp_ipv4 Functoria.DSL.typ

val lease : lease Functoria.DSL.typ

module Dhcp_requests : sig ... end

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

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

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

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

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

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

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

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

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

val no_lease : lease Functoria.DSL.impl

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

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

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

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