Ip (p.mirage.4.10.2.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

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

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 ipv4_of_dhcp : 
  Network.network Functoria.DSL.impl ->
  Ethernet.ethernet Functoria.DSL.impl ->
  Arp.arpv4 Functoria.DSL.impl ->
  ipv4 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

Source

val right_tcpip_library : 
  ?libs:string list ->
  sublibs:string list ->
  string ->
  Functoria.DSL.package list Functoria.DSL.value