Mavryk_client_demo_counter.Protocol_client_context
class type full = object ... end
class wrap_full : Mavryk_client_base.Client_context.full -> full