1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
open Functoria.DSL
open Misc
open Network
type ethernet = ETHERNET
let ethernet = typ ETHERNET
let ethif_conf =
let packages = [ package ~min:"3.0.0" ~max:"4.0.0" "ethernet" ] in
let connect _ m = function
| [ eth ] -> code ~pos:__POS__ "%s.connect %s" m eth
| _ -> connect_err "etif" 1
in
impl ~packages ~connect "Ethernet.Make" (network @-> ethernet)
let ethif network = ethif_conf $ network