sig type s type r type t = Netplex_cenv.LEVER.s -> Netplex_cenv.LEVER.r val register : Netplex_types.controller -> (Netplex_types.controller -> Netplex_cenv.LEVER.t) -> Netplex_cenv.LEVER.t end