NewServerContract creates a ServerContract that has no contracts registered.

RequestIDKey is the request context key used to store the request ID.

RPCCallHistory lets you have access to the RPC calls made during an RPC lifetime.

ServerContract is a contract defined for a gRPC server.

ServiceContract is a contract defined for a gRPC service.

UnaryRPCCall represents an RPC call and its details.

UnaryRPCContract represents a contract for a unary RPC.

Condition represents a pre or postcondition.

CallSet is a set of UnaryRPCCalls that provides APIs for simpler usage.

LogFunc is a function that logs the provided message.