mirage 4.7.0 · OCaml Package

type v4

type v6

type v4v6

type 'a ip

type ipv4 = v4 ip

type ipv6 = v6 ip

type ipv4v6 = v4v6 ip

val ip : 'a ip Functoria.typ

val ipv4 : ipv4 Functoria.typ

val ipv6 : ipv6 Functoria.typ

val ipv4v6 : ipv4v6 Functoria.typ

type ipv4_config = {

network : Ipaddr.V4.Prefix.t;
gateway : Ipaddr.V4.t option;

}

type ipv6_config = {

network : Ipaddr.V6.Prefix.t;
gateway : Ipaddr.V6.t option;

}

val create_ipv4 : 
  ?group:string ->
  ?config:ipv4_config ->
  ?no_init:bool Functoria.runtime_arg ->
  ?random:Random.random Functoria.impl ->
  ?clock:Mclock.mclock Functoria.impl ->
  Ethernet.ethernet Functoria.impl ->
  Arp.arpv4 Functoria.impl ->
  ipv4 Functoria.impl

val create_ipv6 : 
  ?random:Random.random Functoria.impl ->
  ?time:Time.time Functoria.impl ->
  ?clock:Mclock.mclock Functoria.impl ->
  ?group:string ->
  ?config:ipv6_config ->
  ?no_init:bool Functoria.runtime_arg ->
  Network.network Functoria.impl ->
  Ethernet.ethernet Functoria.impl ->
  ipv6 Functoria.impl

val ipv4_of_dhcp : 
  ?random:Random.random Functoria.impl ->
  ?clock:Mclock.mclock Functoria.impl ->
  ?time:Time.time Functoria.impl ->
  Network.network Functoria.impl ->
  Ethernet.ethernet Functoria.impl ->
  Arp.arpv4 Functoria.impl ->
  ipv4 Functoria.impl

val ipv4_qubes : 
  ?random:Random.random Functoria.impl ->
  ?clock:Mclock.mclock Functoria.impl ->
  Qubesdb.qubesdb Functoria.impl ->
  Ethernet.ethernet Functoria.impl ->
  Arp.arpv4 Functoria.impl ->
  ipv4 Functoria.impl

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

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

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

package mirage