module Make : functor (A : S.EVENTS) -> functor (M : S.MEMORY) -> functor (C : S.CONFIGURATION) -> S.ENDPOINT with type port = Port.tVchan.Endpointmodule Make : functor (A : S.EVENTS) -> functor (M : S.MEMORY) -> functor (C : S.CONFIGURATION) -> S.ENDPOINT with type port = Port.t