package mirage
Source file mirage_impl_arpv4.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21module Key = Mirage_key open Functoria open Mirage_impl_ethernet open Mirage_impl_time open Mirage_impl_misc type arpv4 = Arpv4 let arpv4 = Type.v Arpv4 let arp_conf = let packages = [ package ~min:"3.0.0" ~max:"4.0.0" ~sublibs:[ "mirage" ] "arp" ] in let connect _ modname = function | [ eth; _time ] -> Fmt.str "%s.connect %s" modname eth | _ -> failwith (connect_err "arp" 3) in impl ~packages ~connect "Arp.Make" (ethernet @-> time @-> arpv4) let arp ?(time = default_time) (eth : ethernet impl) = arp_conf $ eth $ time