1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
open Functoria.DSL
open Ethernet
open Misc
type arpv4 = Arpv4
let arpv4 = typ Arpv4
let arp_conf =
let packages =
[ package ~min:"4.0.0" ~max:"5.0.0" ~sublibs:[ "mirage" ] "arp" ]
in
let connect _ modname = function
| [ eth ] -> code ~pos:__POS__ "%s.connect %s" modname eth
| _ -> connect_err "arp" 1
in
impl ~packages ~connect "Arp.Make" (ethernet @-> arpv4)
let arp (eth : ethernet impl) = arp_conf $ eth