public override IEnumerable <IError> Validate()
{
foreach (var error in base.Validate())
{
yield return(error);
}
foreach (var error in CallOperationSharedCode.Validate(Right, Left))
{
yield return(error);
}
}
public IOrType <IFrontendType <IVerifiableType>, IError> Returns() => CallOperationSharedCode.Returns(Left);
