gistfile1.txt

utop # let (f : Tezos_p2p.P2p.config -> Tezos_p2p.P2p.limits -> 'a Tezos_p2p.P2p.meta_config -> 'b Tezos_p2p.P2p.message_config -> ('b, 'a) Tezos_p2p.P2p.net Tezos_base__TzPervasives.tzresult Lwt.t) = Tezos_p2p.P2p.create;;
Error: This expression has type
         config:Tezos_p2p.P2p.config ->
         limits:Tezos_p2p.P2p.limits ->
         'c Tezos_p2p.P2p.meta_config ->
         'd Tezos_p2p.P2p.message_config ->
         ('d, 'c) Tezos_p2p.P2p.t Tezos_base__TzPervasives.tzresult Lwt.t
       but an expression was expected of type
         Tezos_p2p.P2p.config ->
         Tezos_p2p.P2p.limits ->
         'a Tezos_p2p.P2p.meta_config ->
         'b Tezos_p2p.P2p.message_config ->
         ('b, 'a) Tezos_p2p.P2p.t Tezos_base__TzPervasives.tzresult Lwt.t